Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference16 articles.
1. Aalst W. (1993). Interval Timed Coloured Petri Nets and their analysis. In: Marsan, M.A. (eds) Internation Conference on the Application and Theory of Petri Nets, vol. 961 of LNCS., pp 453–472. Springer, Chicago
2. Berthelot G., Boucheneb H. (1994). Occurrence graphs for Interval Timed Coloured Nets. In: Proceedings of 15th International Conference Application and Theory of Petri Nets (ICATPN’1994), Zaragoza, Spain, June 1994, vol. 815 of LNCS, pp 79–98. Springer, Berlin
3. Boucheneb, H., Bertholet, G.: Towards a simplified building of Time Petri Nets reachability graph. In: 5th International Workshop on Petri Nets and Performance Models, pp 46–55. Springer, Berlin (1993)
4. Christensen S. and Petrucci L. (2000). Modular analysis of Petri Nets. Comput. J. 43(3): 224–242
5. Design/CPN online. http://www.daimi.au.dk/designCPN
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献