José A. Bañares Pedro R. Muro-Medrano J. L. Villarroel Taking Advantages of Temporal Redundancy in High Level Petri Nets Implementations. 32-48 1993 conf/apn/1993 Application and Theory of Petri Nets db/conf/apn/apn93.html#BanaresMV93 http://dx.doi.org/10.1007/3-540-56863-8_39