Sciweavers

FSTTCS
2001
Springer

Properties of Distributed Timed-Arc Petri Nets

14 years 2 months ago
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.
Mogens Nielsen, Vladimiro Sassone, Jirí Srb
Added 28 Jul 2010
Updated 28 Jul 2010
Type Conference
Year 2001
Where FSTTCS
Authors Mogens Nielsen, Vladimiro Sassone, Jirí Srba
Comments (0)