Ebook: Concurrency and Nets: Advances in Petri Nets

Concurrency and Nets is a special volume in the series "Advances in Petri Nets". Prepared as a tribute to Carl Adam Petri on the occasion of his 60th birthday, it is devoted to an outstanding personality and his pioneering and fruitful scientific work. Part I (70 pages of over 600) presents the congratulatory addresses and invited talks that were given at an Anniversary Colloquium. The contributions of this part honor Carl Adam Petri and his work from many different perspectives. Part II is a collection of invited papers discussing various aspects of the theme Concurrency and Nets. These papers are contributed partly by researchers that were or are still associated with the Petri Institute at GMD and partly by researchers whose scientific work deals with Net Theory or related system models. The topics range from basic theoretical aspects to application oriented methods.

---

Concurrency and Nets is a special volume in the series "Advances in Petri Nets". Prepared as a tribute to Carl Adam Petri on the occasion of his 60th birthday, it is devoted to an outstanding personality and his pioneering and fruitful scientific work. Part I (70 pages of over 600) presents the congratulatory addresses and invited talks that were given at an Anniversary Colloquium. The contributions of this part honor Carl Adam Petri and his work from many different perspectives. Part II is a collection of invited papers discussing various aspects of the theme Concurrency and Nets. These papers are contributed partly by researchers that were or are still associated with the Petri Institute at GMD and partly by researchers whose scientific work deals with Net Theory or related system models. The topics range from basic theoretical aspects to application oriented methods.

---

Concurrency and Nets is a special volume in the series "Advances in Petri Nets". Prepared as a tribute to Carl Adam Petri on the occasion of his 60th birthday, it is devoted to an outstanding personality and his pioneering and fruitful scientific work. Part I (70 pages of over 600) presents the congratulatory addresses and invited talks that were given at an Anniversary Colloquium. The contributions of this part honor Carl Adam Petri and his work from many different perspectives. Part II is a collection of invited papers discussing various aspects of the theme Concurrency and Nets. These papers are contributed partly by researchers that were or are still associated with the Petri Institute at GMD and partly by researchers whose scientific work deals with Net Theory or related system models. The topics range from basic theoretical aspects to application oriented methods.
Content:
Front Matter....Pages I-1
Congratulatory Address....Pages 3-4
Congratulatory Address....Pages 5-6
Congratulatory Address....Pages 7-8
Congratulatory Address....Pages 9-9
Congratulatory Address....Pages 11-12
Carl Adam Petri and Informatics....Pages 13-21
Applying Petri Net Based Models in the Design of Systems....Pages 23-67
Front Matter....Pages 69-69
Some Classes of Live and Safe Petri Nets....Pages 71-94
A model of cooperation and its specification with nets....Pages 95-114
The Communication Disciplines of CHAOS....Pages 115-139
On the Structure of Dependence Graphs....Pages 141-170
Some Remarks on D-Continuity....Pages 171-186
Numerical Simulations with Place/Transactor-Nets....Pages 187-199
Net Models of Dynamically Evolving Data Structures....Pages 201-216
On Condition/Event Representations of Place/Transition Systems....Pages 217-231
Finite Conjunctive Nondeterminism (Extended Abstract)....Pages 233-244
Petri Net Languages and One-Sided Dyck-Reductions On Context-Free Sets....Pages 245-252
From Nets to Logic and Back in the Specification of Processes....Pages 253-268
Types and Modules for Net Specifications....Pages 269-286
An Introduction to the Macro Cosy Notation....Pages 287-314
Front Matter....Pages 69-69
Linear Algebraic Calculation of Deadlocks and Traps....Pages 315-336
On Different Kinds of Frozen Tokens in Petri Nets....Pages 337-348
High Level Petri Nets and Distributed Termination....Pages 349-361
Communication and Database Oriented Modelling of Multilateral Cooperation — A Comparison Based on Petri Nets....Pages 363-379
The Structure of Facts in Occurrence Nets....Pages 381-401
Observing Net Behaviour....Pages 403-421
Algebraic Models of Parallelism and Net Theory....Pages 423-433
Towards a Synchrony Theory for P/T Nets....Pages 435-460
The Semantics of a Net is a Net....Pages 461-479
On the mutual simulatability of different types of Petri nets....Pages 481-495
Development and Application of Petri Net Based Techniques in Australia....Pages 497-509
Quantitative Analysis of a Resource Allocation Problem: A Net Theory Based Proposal....Pages 511-532
Existential Quantifiers in Predicate-Fact-Nets....Pages 533-553
Petri Nets for Sequence Constraint Propagation in Knowledge Based Approaches....Pages 555-569
Extension and Intension of Actions....Pages 571-584
Interface as a Basic Concept for Systems Specification and Verification....Pages 585-604
Specification and Verification of Asynchronous Circuits Using Marked Graphs....Pages 605-622

---

Concurrency and Nets is a special volume in the series "Advances in Petri Nets". Prepared as a tribute to Carl Adam Petri on the occasion of his 60th birthday, it is devoted to an outstanding personality and his pioneering and fruitful scientific work. Part I (70 pages of over 600) presents the congratulatory addresses and invited talks that were given at an Anniversary Colloquium. The contributions of this part honor Carl Adam Petri and his work from many different perspectives. Part II is a collection of invited papers discussing various aspects of the theme Concurrency and Nets. These papers are contributed partly by researchers that were or are still associated with the Petri Institute at GMD and partly by researchers whose scientific work deals with Net Theory or related system models. The topics range from basic theoretical aspects to application oriented methods.
Content:
Front Matter....Pages I-1
Congratulatory Address....Pages 3-4
Congratulatory Address....Pages 5-6
Congratulatory Address....Pages 7-8
Congratulatory Address....Pages 9-9
Congratulatory Address....Pages 11-12
Carl Adam Petri and Informatics....Pages 13-21
Applying Petri Net Based Models in the Design of Systems....Pages 23-67
Front Matter....Pages 69-69
Some Classes of Live and Safe Petri Nets....Pages 71-94
A model of cooperation and its specification with nets....Pages 95-114
The Communication Disciplines of CHAOS....Pages 115-139
On the Structure of Dependence Graphs....Pages 141-170
Some Remarks on D-Continuity....Pages 171-186
Numerical Simulations with Place/Transactor-Nets....Pages 187-199
Net Models of Dynamically Evolving Data Structures....Pages 201-216
On Condition/Event Representations of Place/Transition Systems....Pages 217-231
Finite Conjunctive Nondeterminism (Extended Abstract)....Pages 233-244
Petri Net Languages and One-Sided Dyck-Reductions On Context-Free Sets....Pages 245-252
From Nets to Logic and Back in the Specification of Processes....Pages 253-268
Types and Modules for Net Specifications....Pages 269-286
An Introduction to the Macro Cosy Notation....Pages 287-314
Front Matter....Pages 69-69
Linear Algebraic Calculation of Deadlocks and Traps....Pages 315-336
On Different Kinds of Frozen Tokens in Petri Nets....Pages 337-348
High Level Petri Nets and Distributed Termination....Pages 349-361
Communication and Database Oriented Modelling of Multilateral Cooperation — A Comparison Based on Petri Nets....Pages 363-379
The Structure of Facts in Occurrence Nets....Pages 381-401
Observing Net Behaviour....Pages 403-421
Algebraic Models of Parallelism and Net Theory....Pages 423-433
Towards a Synchrony Theory for P/T Nets....Pages 435-460
The Semantics of a Net is a Net....Pages 461-479
On the mutual simulatability of different types of Petri nets....Pages 481-495
Development and Application of Petri Net Based Techniques in Australia....Pages 497-509
Quantitative Analysis of a Resource Allocation Problem: A Net Theory Based Proposal....Pages 511-532
Existential Quantifiers in Predicate-Fact-Nets....Pages 533-553
Petri Nets for Sequence Constraint Propagation in Knowledge Based Approaches....Pages 555-569
Extension and Intension of Actions....Pages 571-584
Interface as a Basic Concept for Systems Specification and Verification....Pages 585-604
Specification and Verification of Asynchronous Circuits Using Marked Graphs....Pages 605-622
....