P Darondeau, M Koutny, M Pietkiewicz-Koutny… - Proceedings of the 29th …, 2008 - dl.acm.org
The unconstrained step semantics of Petri nets is impractical for simulating and modelling
applications. In the past, this inadequacy has been alleviated by introducing various flavours …