For the most recent entries see the Petri Nets Newsletter.

Condensed State Spaces for Timed Petri Nets.

Christensen, Søren; Kristensen, Lars Michael; Mailund, Thomas

In: J.-M. Colom, M. Koutny (Eds.), Newcastle upon Tyne, UK: Proc. of 22nd International Conf. on Applications and Theory of Petri Nets 2001 (ICATPN 2001), pages 101-120. Lecture Notes in Computer Science 2075, edited by G. Goos, J. Hartmanis and J. van Leuwen, Springer, June 2001.

Abstract: We present a state space method for Petri nets having a time concept based on a global clock and associating time stamps to tokens. The method is based on equivalence on states and makes it possible to condense the usually infinite state space of such timed Petri nets into a finite state space without loosing analysis power. The practical application of the method is demonstrated on a large example of an audio/video protocol by means of a computer tool implementing the method.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography