Properties of Distributed Time Arc Petri Nets

Nielsen, M., Sassone, V. and Srba, J. (2001) Properties of Distributed Time Arc Petri Nets. In, Foundation of Software Technology and Theoretical Computer Science, FST&TCS 2001. Springer, 280-291.


[img] PDF
Download (198Kb)


In recent work 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.

Item Type: Conference or Workshop Item (Paper)
ISBNs: 3540430024
Keywords: timed Petri nets, gals, distributed systems
Divisions : Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Web & Internet Science
ePrint ID: 262285
Accepted Date and Publication Date:
Date Deposited: 11 Apr 2006
Last Modified: 31 Mar 2016 14:05
Further Information:Google Scholar

Actions (login required)

View Item View Item

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics