There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and book information

Book Chapter

Publication date (Print): 1987

Pages: 207-247

DOI: 10.1007/978-3-540-47919-2_9

SO-VID: 3ca7eaf6-aba8-4474-baa5-3eb184975c66

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 13

Coloured petri nets: A high level language for system design and analysis
Authors: Kurt Jensen
Threat-driven modeling and verification of secure software using aspect-oriented Petri nets
Authors: K.E. Nygard, D. Xu
Eliminating redundant interleavings during concurrent program verification
Authors: Antti Valmari

See all cited by

Predicate/Transition Nets

Read this book at