Franco Cicirelli Angelo Furfaro Libero Nigro Conflict management in PDEVS: an experience in modelling and simulation of time petri nets. 349-356 2007 SCSC http://doi.acm.org/10.1145/1357910.1357966 conf/scsc/2007 db/conf/scsc/scsc2007.html#CicirelliFN07