Advances in Petri Nets 1988

An environment for object-oriented conceptual programming based on PROT nets.- OBJSA Nets: a class of high-level nets having objects as domains.- On internal and external characterisations of PT-net building block behaviour.- Timed Petri Net schedules.- An exercise in concurrency: A CSP process as a condition/event system.- A survey on the decidability questions for classes of fifo nets.- The construction of EN systems from a given trace behaviour.- Programming a closely coupled multiprocessor system with high level petri nets.- Music description and processing by Petri Nets.- On questions of fairness and temporal logic for conflict-free Petri nets.- Infinitary partial Petri net languages and their relationship to other Petri net semantics.- Net representation of sentences in natural languages.- Some consequences of the decidability of the reachability problem for Petri nets.- Experiences in the use of galileo to design telecommunication systems.- Compositional semantics of pure place/transition systems.- Occurrence traces.- Performance evaluation of interpreted bipolar synchronization schemes using G.E.R.T..- On the generation of organizational architectures using Petri Nets.- On the computation of structural synchronic invariants in P/T nets.- On the implementation of Petri nets.