Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{383992,
author = {Nielsen, Mogens and Sassone, Vladimiro and Srba, Jiří},
address = {Holland},
booktitle = {Proceedings of 21st International Conference on Foundations of SoftwareTechnology and Theoretical Computer Science (FSTTCS'01)},
language = {eng},
location = {Holland},
pages = {280-291},
publisher = {Springer Verlag},
title = {Properties of Distributed Timed-Arc Petri Nets},
year = {2001}
}
TY - JOUR
ID - 383992
AU - Nielsen, Mogens - Sassone, Vladimiro - Srba, Jiří
PY - 2001
TI - Properties of Distributed Timed-Arc Petri Nets
VL - LNCS 2245
PB - Springer Verlag
CY - Holland
N2 - In [NSS01] 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.
ER -
NIELSEN, Mogens, Vladimiro SASSONE a Jiří SRBA. Properties of Distributed Timed-Arc Petri Nets. In \textit{Proceedings of 21st International Conference on Foundations of SoftwareTechnology and Theoretical Computer Science (FSTTCS'01)}. Holland: Springer Verlag, 2001, s.~280-291. LNCS 2245.
|
