Petri nets are a well-known model for parallel systems, used for both applications and theoretical studies. They can be used for specification, modelling, and analysis, and offer a graphical representation and a clear view of concurrency. For the design of large systems, modular construction is indispensible, and considerable effort has been spent on studying themodular construction of Petri nets. This book studies the modular construction of nets, and in particular the top-down design of nets by action refinement. Suitable behavior descriptions are presented and special care is taken to justify these descriptions by showing that theyare necessary under reasonable specification requirements. In particular, itis shown that partial-order semantics is necessary to support action refinement.

Bibliographic Information

Book Title: Modular Construction and Partial Order Semantics of Petri Nets
Editors: W. Vogler
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-55767-9
Publisher: Springer Berlin, Heidelberg
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1992
Softcover ISBN: 978-3-540-55767-8Published: 22 July 1992
eBook ISBN: 978-3-540-47282-7Published: 05 July 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XII, 256
Topics: Computer System Implementation, Systems Theory, Control, Software Engineering, Computation by Abstract Devices, Mathematical Logic and Formal Languages

Publish with us

Policies and ethics

Modular Construction and Partial Order Semantics of Petri Nets

Overview

Access this book

Other ways to access

Table of contents (8 chapters)

Front Matter

Back Matter

Keywords

About this book

Bibliographic Information

Publish with us

Search

Navigation