ENGLISH

Modular Construction and Partial Order Semantics of Petri Nets

By W. Vogler (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1992
ISBN
3540557679, 9783540557678
DOI
10.1007/3-540-55767-9
LCC
QA76.58 .V63 1992
Open Library ID
OL1720625M
Language
english
Format
DJVU
Filesize
2 MB (2241798 bytes)
Series
Lecture Notes in Computer Science 625
Edition
1
Pages
256\257
Library
Kolxo3
DPI
300
Time added
2011-01-06 10:13:16
Software Engineering; Computation by Abstract Devi

Description

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.

Similar books