Properties of Distributed Timed-Arc Petri Nets

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.

• Type: Conference
• Year: 2001
• Where: FSTTCS
• Authors: Mogens Nielsen, Vladimiro Sassone, Jirí Srba
• Keywords: Arcs Carry Constraints, FSTTCS 2001, Petri Nets, Software Engineering, Versus Global Timing