Application and Theory of Petri Nets 1997
Subtitle: 18th International Conference, ICATPN'97, Toulouse, France, June 23-27, 1997, Proceedings (Lecture Notes in Computer Science)
Contributors: Pierre Azema (Editor); Gianfranco Balbo (Editor)
Edition: 1 edition
Publisher: Springer
Published: July 11, 1997
Language: eng
Format: Paperback
Number of pages: 467
ISBN-13: 9783540631392
Subjects: Computer Communications & Networking; Mathematical logic; Mathematical theory of computation; Operating Systems - General; Computer Mathematics; Theory Of Computing; Computers; Computers - General Information; Science/Mathematics; Computer Science; Networking - General; Computers / Computer Science; Gefärbte Petri-Netze; Graphentheorie; Netzwerkbetrieb; Petri nets; Petri-Netze; Workflow-Management; colored Petri nets; graph theory
First sentence: Linear-time temporal logic (LTL) is a well-known formalism for specifying properties of concurrent systems.
Description: This book constitutes the refereed proceedings of the 18th International Conference on the Application and Theory of Petri Nets, ICATPN'97, held in Toulouse, France, in June 1997. The 22 revised full papers presented in the volume were selected from a total of 61 submissions; also included are three invited contributions. All relevant topics in the area are addressed. Besides a variety of Petri net classes, workflow management, telecommunication networking, constraint satisfaction, program semantics, concurrency, and temporal logic are among the topics addressed.