Overview
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Similar content being viewed by others
Keywords
Table of contents (28 chapters)
-
Predicate / Transition Nets and Coloured Petri Nets
-
High-level Nets and Abstract Data Types
-
Hierarchical High-level Nets
-
Analysis by Means of Invariants
-
Analysis by Means of Reachability Graphs
Editors and Affiliations
Bibliographic Information
Book Title: High-level Petri Nets
Book Subtitle: Theory and Application
Editors: Kurt Jensen, Grzegorz Rozenberg
DOI: https://doi.org/10.1007/978-3-642-84524-6
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1991
Softcover ISBN: 978-3-540-54125-7Published: 31 July 1991
eBook ISBN: 978-3-642-84524-6Published: 06 December 2012
Edition Number: 1
Number of Pages: X, 724
Number of Illustrations: 6 b/w illustrations
Topics: Software Engineering, Computation by Abstract Devices, Programming Techniques, Computer Communication Networks, Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs