Advances in Petri Nets 1988

Marco Baldassari, Giorgio Bruno (auth.), Grzegorz Rozenberg (eds.)3540505806, 9783540505808

The idea behind the series of volumes Advances in Petri Netsis to present to the general computer science community recent results which are the most representative and significant for the development in this area. The main source for the papers for “Advances” are the annual “European Workshops on Applications and Theory of Petri Nets”; the “best” papers from the latest workshops are considered for the series, i.e. they are reviewed again and revised or extended accordingly. In addition to the workshoppapers, the “Advances” also present invited papers submitteddirectly for publication. The present volume Advances in Petri Nets 1988 covers the 8th “European Workshop on Applications and Theory of Petri Nets” held in Zaragoza, Spain in June 1987. It also contains a survey on decidability questions for classes of FIFO nets by A. Finkel and L.E. Rosier.

---

Table of contents :
An environment for object-oriented conceptual programming based on PROT nets….Pages 1-19
OBJSA Nets: a class of high-level nets having objects as domains….Pages 20-43
On internal and external characterisations of PT-net building block behaviour….Pages 44-61
Timed Petri Net schedules….Pages 62-84
An exercise in concurrency: A CSP process as a condition/event system….Pages 85-105
A survey on the decidability questions for classes of fifo nets….Pages 106-132
The construction of EN systems from a given trace behaviour….Pages 133-153
Programming a closely coupled multiprocessor system with high level petri nets….Pages 154-174
Music description and processing by Petri Nets….Pages 175-199
On questions of fairness and temporal logic for conflict-free Petri nets….Pages 200-226
Infinitary partial Petri net languages and their relationship to other Petri net semantics….Pages 227-248
Net representation of sentences in natural languages….Pages 249-265
Some consequences of the decidability of the reachability problem for Petri nets….Pages 266-282
Experiences in the use of galileo to design telecommunication systems….Pages 283-306
Compositional semantics of pure place/transition systems….Pages 307-330
Occurrence traces….Pages 331-342
Performance evaluation of interpreted bipolar synchronization schemes using G.E.R.T…..Pages 343-370
On the generation of organizational architectures using Petri Nets….Pages 371-385
On the computation of structural synchronic invariants in P/T nets….Pages 386-417
On the implementation of Petri nets….Pages 418-439