Cristian Vidrascu. Modular Analysis of Concurrency in Jumping Petri Nets. In Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), 25-29 September 2005, Timisoara, Romania. pages 374-381, IEEE Computer Society, 2005. [doi]
Abstract is missing.