Timing Analysis of Cyclic Time Petri Net Using Relaxed Unfolding and Global Time Technique

Franck Carlos Velez Benito, Luis Allan Künzle. Timing Analysis of Cyclic Time Petri Net Using Relaxed Unfolding and Global Time Technique. In 19th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2015, Chengdu, China, October 14-16, 2015. pages 147-154, IEEE, 2015. [doi]

Abstract

Abstract is missing.