For the most recent entries see the Petri Nets Newsletter.

Properties of Distributed Timed-Arc Petri Nets.

Nielsen, Mogens; Sassone, Vladimiro; Srba, Jiri

In: LNCS 2245: FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science, pages 280-pp. 21st Conference, Bangalore, India, December 13-15, 2001. Proceedings / R. Hariharan, M. Mukund, V. Vinay (Eds.) --- Springer Verlag, November 2001.

Abstract: In [12] we started a research on a distributed-timed extension of Petri nets where time parameters are associated with tokens and arcs carry constraints that qualify the age of tokens required for enabling. This formalism enables to model e.g. hardware architectures like GALS. We give a formal definition of process semantics for our model and investigate several properties of local versus global timing: expressiveness, reachability and coverability.


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

Back to the Petri Nets Bibliography