Petri Nets: Applications and Relationships to Other Models of Concurrency: Advances in Petri Nets 1986, Part II Proceedings of an Advanced Course Bad Honnef, 8.–19. September 1986

W. Brauer, W. Reisig, G. Rozenberg (eds.)3540179062, 9783540179061

The present volume is the second of two parts which constitute the proceedings of the 1986 Advanced Course on Petri Nets in Bad Honnef. It discusses tools supporting the design of petri nets as well as their modification and analysis, presents a variety of applications, and covers the relationship of petri nets to other concurrency models. These current issues of the “Advances in Petri Nets” present the most significant recent results in the application and theory of petri nets to the broad computer science community. They particularly address those who are: – interested in systems design and would like to learn to use petri nets, – familiar with subareas of the theory or the applications of nets and wish to become acquainted with the whole area, – interested in learning about recent results presented within a unified framework, – going to learn about successfully applying petri nets in – various practical situations, – interested in the relationship of petri nets to other models of concurrent systems.

---

Table of contents :
Introduction to Part II….Pages 1-1
Computer tools for construction, modification and analysis of Petri nets….Pages 3-19
Petri net tool overview 1986….Pages 20-61
Petri nets in software engineering….Pages 62-96
Nets in data bases….Pages 97-134
Petri net based models in the specification and verification of protocols….Pages 135-170
Human-machine interaction and role/function/action-nets….Pages 171-190
Nets in production systems….Pages 191-217
Nets in computer organization….Pages 218-233
Nets in office automation….Pages 234-257
Modelling architectural features with petrinets….Pages 258-277
Trace theory….Pages 278-324
Event structures….Pages 325-392
CCS — and its relationship to net theory….Pages 393-415
COSY: Its relation to nets and to CSP….Pages 416-440
TCSP: Theory of communicating sequential processes….Pages 441-465
Reduction, data flow and control flow models of computation….Pages 466-498
“Forgotten topics” of net theory….Pages 499-514