Application and Theory of Petri Nets 1998

This book constitutes the refereed proceedings of the 19th International Conference on Application and Theory of Petri Nets, ICATPN'98, held in Lisbon, Portugal, in June 1998.The 17 revised full papers presented in the book together with three invited contributions have been selected from a total of 58 submissions. Among the topics covered are various types of Petri nets including colored and timed Petri nets, transition systems, ATM Networks, model checking, process chains, events and state systems, queueing networks, distributed shared memory systems, etc..