High-level Petri Nets: Theory and Application

✍ Scribed by H. J. Genrich (auth.), Kurt Jensen, Grzegorz Rozenberg (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 1991
• Tongue: English
• Leaves: 723
• Edition: 1
• Category: Library

✦ Synopsis

High-level Petri nets are now widely used in both theoretical analysis and practical modelling of concurrent systems. The main reason for the success of this class of net models is that they make it possible to obtain much more succinct and manageable de­ scriptions than can be obtained by means of low-level Petri nets-while, on the other hand, they still offer a wide range of analysis methods and tools. The step from low-level nets to high-level nets can be compared to the step from assembly languages to modem programming languages with an elaborated type concept. In low-level nets there is only one kind of token and this means that the state of a place is described by an integer (and in many cases even by a boolean value). In high-level nets each token can carry complex information which, e. g. , may describe the entire state of a process or a data base. Today most practical applications of Petri nets use one of the different kinds of high-level nets. A considerable body of knowledge exists about high-level Petri nets­ this includes theoretical foundations, analysis methods and many applications. Unfortunately, the papers on high-level Petri nets have been scattered throughout various journals and collections. As a result, much of this knowledge is not readily available to people who may be interested in using high-level nets.

✦ Table of Contents

Front Matter....Pages I-IX
Front Matter....Pages 1-2
Predicate / Transition Nets....Pages 3-43
Coloured Petri Nets: A High Level Language for System Design and Analysis....Pages 44-119
Front Matter....Pages 121-122
Many-sorted High-level Nets....Pages 123-136
Petri Nets and Algebraic Specifications....Pages 137-170
Types and Modules for Net Specifications....Pages 171-188
OBJSA Nets: A Class of High-level Nets Having Objects as Domains....Pages 189-212
Front Matter....Pages 213-214
Hierarchies in Coloured Petri Nets....Pages 215-243
Front Matter....Pages 245-246
Analysing Nets by the Invariant Method....Pages 247-283
Linear Invariants in Commutative High Level Nets....Pages 284-302
Generalized Inverses and the Calculation of Symbolic Invariants for Coloured Petri Nets....Pages 303-315
Front Matter....Pages 317-317
Reachability Trees for High-level Petri Nets....Pages 319-350
Parametrized Reachability Trees for Predicate / Transition Nets....Pages 351-372
On Well-Formed Coloured Nets and Their Symbolic Reachability Graph....Pages 373-396
Front Matter....Pages 397-397
A Reduction Theory for Coloured Nets....Pages 399-425
Equivalence Transformations of PrT-Nets....Pages 426-455
Front Matter....Pages 457-457
Stochastic High-level Petri Nets and Applications....Pages 459-469
Regular Stochastic Petris Nets....Pages 470-493
Automated Construction of Compound Markov Chains from Generalized Stochastic High-level Petri Nets....Pages 494-503
Stochastic Well-Formed Coloured Nets and Multiprocessor Modelling Applications....Pages 504-530
Front Matter....Pages 531-531
An Example of Modelling and Evaluation of a Concurrent Program Using Coloured Stochastic Petri Nets: Lamport’s Fast Mutual Exclusion Algorithm....Pages 533-559
Front Matter....Pages 531-531
PROTEAN: A High-level Petri Net Tool for the Specification and Verification of Communication Protocols....Pages 560-575
Specification and Properties of a Cache Coherence Protocol Model....Pages 576-595
Use of Reentrant Nets in Modular Analysis of Colored Nets....Pages 596-617
Modeling, Validation and Software Implementation of Production Systems Using High Level Petri Nets....Pages 618-623
PROTOB: An Object Oriented Methodology for Developing Discrete Event Dynamic Systems....Pages 624-648
An Integrated Software Development Methodology Based on Hierarchical Colored Petri Nets....Pages 649-666
Validation of a VLSI Chip Using Hierarchical Colored Petri Nets....Pages 667-687
Front Matter....Pages 689-690
Computer Tools for High-level Petri Nets....Pages 691-717
Back Matter....Pages 719-725

✦ Subjects

Software Engineering; Computation by Abstract Devices; Programming Techniques; Computer Communication Networks; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs