1. Comments on Capabilities, Limitations and “Correctness” of Petri Nets;Agerwala;ACM SIGARCH Comp. Architecture News,1973
2. Modelling with Generalized Stochastic Petri Nets;Ajmone Marsan,1994
3. Modelling and Validation of Complex Systems modeled by Colored Petri Nets;Alla,1985
4. The theory of timed automata;Alur;Theoretical Computer Science,1994
5. On Hybrid Control of Complex Systems: A Survey;Antsaklis;European Journal of Automation (APII-JESA),1998