Lectures on Concurrency and Petri Nets
Springer Berlin (Verlag)
978-3-540-22261-3 (ISBN)
Prof. Dr. Wolfgang Reisig is a professor at Humboldt Universität zu Berlin, Germany. He has over 30 years experience in the theory, applications, and teaching of Petri nets and related techniques; and he has been closely involved in the key community initiatives such as related conferences. Among his books are titles in the areas of Petri nets, distributed algorithmsm, and computational systems biology.
Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management.- InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming.- Timed Automata: Semantics, Algorithms and Tools.- Petri Nets and Dependability.- Process Algebra.- A Coloured Petri Net Approach to Protocol Verification.- Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets.- A Survey on Non-interference with Petri Nets.- Synthesis of Asynchronous Hardware from Petri Nets.- Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned.- Unbounded Petri Net Synthesis.- Petri Nets and Software Engineering.- Model Validation in Controller Design.- Graph Grammars and Petri Net Transformations.- Message Sequence Charts.- Model-Based Development of Executable Business Processes for Web Services.- Modelling and Control with Modules of Signal Nets.- Application of Coloured Petri Nets in System Development.- Bigraphs for Petri Nets.- Notes on Timed Concurrent Constraint Programming.- Petri Nets and Manufacturing Systems: An Examples-Driven Tour.- Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems.- Object Petri Nets.
Erscheint lt. Verlag | 14.6.2004 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science |
Zusatzinfo | XX, 852 p. |
Verlagsort | Berlin |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 1195 g |
Themenwelt | Mathematik / Informatik ► Informatik |
Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika | |
Schlagworte | Algorithm analysis and problem complexity • algorithms • Automata • business process modeling • Concurrency • Concurrent Systems • Distributed Systems • Embedded Systems • formal methods • Formal Verification • Petri net • Petri Nets • Petrinetze • Process Algebra • sequence charts • System Modeling • Web Services • Workflow Management |
ISBN-10 | 3-540-22261-8 / 3540222618 |
ISBN-13 | 978-3-540-22261-3 / 9783540222613 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich