Properties of Distributed Time Arc Petri Nets


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

Download

[img] PDF tpnFSTTCSoff.pdf - Other
Download (203kB)

Description/Abstract

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)
Venue - Dates: Foundation of Software Technology and Theoretical Computer Science, FST&TCS 2001., 2001-01-01
Keywords: timed Petri nets, gals, distributed systems
Organisations: Web & Internet Science
ePrint ID: 262285
Date :
Date Event
2001Published
Date Deposited: 11 Apr 2006
Last Modified: 17 Apr 2017 21:43
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/262285

Actions (login required)

View Item View Item