@article{da4e306bfbeb48f7a62b69a601b65a75,
title = "A causal semantics for time Petri nets",
keywords = "linear constraints, net theory, partial order semantics, processes, timing analysis, linear constraints, net theory, partial order semantics, processes, timing analysis, linear constraints, net theory, partial order semantics, processes, timing analysis",
author = "T. Aura and J. Lilius",
year = "2000",
language = "English",
volume = "243",
pages = "409--447",
journal = "Theoretical Computer Science",
publisher = "Elsevier",
number = "1-2",
}