@inproceedings{69a159ee9d184523a9100b96d52d0ae4,
title = "Time processes of time Petri nets in proceedings",
keywords = "causality, net theory, partial order semntics, processes, time Petri Nets, timing analysis, causality, net theory, partial order semntics, processes, time Petri Nets, timing analysis, causality, net theory, partial order semntics, processes, time Petri Nets, timing analysis",
author = "Tuomas Aura and J. Lilius",
year = "1997",
language = "English",
pages = "136--155",
booktitle = "18th International Conference on Applications and Theory of Petri Nets",
publisher = "Springer",
address = "Germany",
}