You are here: TUCS > PUBLICATIONS > Publication Search > A causal semantics for time Pe...
A causal semantics for time Petri nets
Tuomas Aura, Johan Lilius, A causal semantics for time Petri nets. Theoretical Computer Science 243(2), 409-447, 2000.
BibTeX entry:
@ARTICLE{jAuLia,
title = {A causal semantics for time Petri nets},
author = {Aura, Tuomas and Lilius, Johan},
journal = {Theoretical Computer Science},
volume = {243},
number = {2},
pages = {409-447},
year = {2000},
}