Wyniki wyszukiwania:

This book constitutes the refereed proceedings of the 17th International Conference on Application and Theory of Petri Nets, held in Osaka, Japan, in June 1996.
The 26 revised full papers included in the book together with three invited presentations were selected from a total of 78 submissions. The book addresses the current theoretical and applicational aspects of the various types of Petri Nets and competently reflects the state of the art in the area.

Petri nets offer a mathematically defined technique for the specification, design, analysis, verification and performance evaluation of concurrent distributed systems. They offer not only precise semantics and a theoretical foundation, but also a graphical form that facilitates the understanding of both information and control flow within the same formalism. As an intuitively appealing graphical form of presentation, Petri nets are the model of choice in various applications.
Communications networks, ranging from traditional telecommunication systems to advanced Internet-based information...