+612 9045 4394
High Level Petri Nets : Theory and Application :  Theory and Application - Kurt Jensen

High Level Petri Nets : Theory and Application

Theory and Application

By: Kurt Jensen (Editor), Grzegorz Rozenberg (Editor)

Paperback Published: August 1991
ISBN: 9783540541257
Number Of Pages: 724

Share This Book:


or 4 easy payments of $39.60 with Learn more
Ships in 7 to 10 business days

A collection of recent research papers which study the applications and theory of high-level Petri nets, a powerful computer language for system modelling and validation. Each section of the text outlines the main concepts and gives bibliographic notes on the development of high-level nets.

Section A: Predicate / Transition Nets and Coloured Petri Nets.- 1. Predicate / Transition Nets.- 2. Coloured Petri Nets: A High Level Language for System Design and Analysis.- Section B: High-level Nets and Abstract Data Types.- 3. Many-sorted High-level Nets.- 4. Petri Nets and Algebraic Specifications.- 5. Types and Modules for Net Specifications.- 6. OBJSA Nets: A Class of High-level Nets Having Objects as Domains.- Section C: Hierarchical High-level Nets.- 7. Hierarchies in Coloured Petri Nets.- Section D: Analysis by Means of Invariants.- 8. Analysing Nets by the Invariant Method.- 9. Linear Invariants in Commutative High Level Nets.- 10. Generalized Inverses and the Calculation of Symbolic Invariants for Coloured Petri Nets.- Section E: Analysis by Means of Reachability Graphs.- 11. Reachability Trees for High-level Petri Nets.- 12. Parameterized Reachability Trees for Predicate/Transition Nets.- 13. On Well-Formed Coloured Nets and Their Symbolic Reachability Graph.- Section F: Analysis by Means of Transformations.- 14. A Reduction Theory for Coloured Nets.- 15. Equivalence Transformations of PrT-Nets.- Section G: Analysis of Stochastic Nets.- 16. Stochastic High-level Petri Nets and Applications.- 17. Regular Stochastic Petri Nets.- 18. Automated Construction of Compound Markov Chains from Generalized Stochastic High-level Petri Nets.- 19. Stochastic Well-Formed Coloured Nets and Multiprocessor Modelling Applications.- Section H: Applications of High-level Nets.- 20. An Example of Modelling and Evaluation of a Concurrent Program Using Coloured Stochastic Petri Nets: Lamport's Fast Mutual Exclusion Algorithm.- 21. PROTEAN: A High-level Petri Net Tool for the Specification and Verification of Communication Protocols.- 22. Specification and Properties of a Cache Coherence Protocol Model.- 23. Use of Reentrant Nets in Modular Analysis of Colored Nets.- 24. Modeling, Validation and Software Implementation of Production Systems Using High Level Petri Nets.- 25. PROTOB: An Object Oriented Methodology for Developing Discrete Event Dynamic Systems.- 26. An Integrated Software Development Methodology Based on Hierarchical Colored Petri Nets.- 27. Validation of a VLSI Chip Using Hierarchical Colored Petri Nets.- Section I: Computer Tools for High-level Nets.- 28. Computer Tools for High-level Petri Nets.- Petri Net Activities.- Contributing Authors.

ISBN: 9783540541257
ISBN-10: 354054125X
Audience: General
Format: Paperback
Language: English
Number Of Pages: 724
Published: August 1991
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 24.41 x 16.99  x 3.73
Weight (kg): 1.15