Advances in Petri Nets 1985

B. Baumgarten, H. J. Burkhardt, P. Ochsenschläger (auth.), G. Rozenberg (eds.)3540164804, 9783540164807

The aim of these series of volumes “Advances in Petri Nets” is to present to the general computer science community the most significant recent results with regard to the development in the area. The main source of the papers are the annual European Workshops on Applications and Theory of Petri Nets”; the highest ranked papers from the past workshops are considered for the series, i.e., they are again reviewed and accordingly revised or extended. In addition to the workshop papers, the “Advances” also present invited papers. The present volume Advances in Petri Nets 1987 covers the 7th “European Workshop on Applications and Theory of Petri Nets” held in Oxford, Great Britain, in June 1986. It also contains a survey on complexity of problems related to Petri nets written by R.R. Howell and L.E. Rosier. A special feature of this volume is a bibliography on Petri nets, containing more than 2000 entries.

---

Table of contents :
The signing of a contract — a tree-structured application modelled with petri net building blocks….Pages 1-18
Checking properties of nets using transformations….Pages 19-40
Petri nets and algebraic calculi of processes….Pages 41-58
Fair controls and their realization….Pages 59-82
Beta processes of C/E systems….Pages 83-100
Synchronic distances in C/E systems….Pages 101-121
Process periods and system reconstruction….Pages 122-141
Guidelines on using net analysis techniques with large specifications….Pages 142-161
Application of an extension of petri nets to modelization of control and production processes….Pages 162-180
Making nets abstract and structured….Pages 181-202
Petri net tools….Pages 203-223
Projections of CE-systems….Pages 224-232
Synchronic structure….Pages 233-252
Safe states in Banker like resource allocation Problems….Pages 253-277
Coordination technology and Petri nets….Pages 278-296
Pascal semantics by a combination of denotational semantics and high-level petri nets….Pages 297-329
On the invariants of coloured Petri Nets….Pages 330-345
A logical formalism for the study of the finite behaviour of Petri nets….Pages 346-361
Determination of a poset by its co-relation….Pages 362-380
Some equivalence notions for concurrent systems. An overview….Pages 381-400
Towards a comprehensive office model integrating information and resources….Pages 401-417
Non-linear invariants for coloured Petri nets with interdependent tokens; application to the proof of parallel programs….Pages 418-434
Protocol analysis using Numerical Petri Nets….Pages 435-452
Petri nets, morphisms and compositionality….Pages 453-477
M-timed Petri nets, priorities, preemptions, and performance evaluation of systems….Pages 478-498