Brigitte Rozoy
-
Loose semantics of petri nets
Formal Methods in Software and Systems Modeling
A nice labelling for tree-like event structures of degree 3
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory