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.
Download
![[img]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
Download (198Kb) |
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) |
|---|---|
| ISBNs: | 3540430024 |
| Keywords: | timed Petri nets, gals, distributed systems |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science > Web & Internet Science |
| Item ID: | 262285 |
| Date Deposited: | 11 Apr 2006 |
| Last Modified: | 10 Mar 2012 11:20 |
| Contributors: | Nielsen, M. (Author) Sassone, V. (Author) Srba, J. (Author) |
| Date: | 2001 |
| Status: | Published |
| Publisher: | Springer |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/262285 |
Actions (login required)
 |
View Item |
