Sylvie Ratté
Université du Québec à Montréal
Petri nets: an introduction
Semantic interpretation and the resolution of ambiguity