Modular Construction and Partial Order Semantics of Petri Nets
Paperback Engels 1992 1992e druk 9783540557678Samenvatting
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.
Specificaties
Lezersrecensies
Inhoudsopgave
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan