A causal semantics for time Petri nets

Reference:

Tuomas Aura and Johan Lilius. A causal semantics for time petri nets. Theoretical Computer Science, 243(1–2):409–447, 2000.

Suggested BibTeX entry:

@article{AuraLilius:causal,
    author = {Tuomas Aura and Johan Lilius},
    journal = {Theoretical Computer Science},
    number = {1--2},
    pages = {409--447},
    title = {A causal semantics for time Petri nets},
    volume = {243},
    year = {2000},
}