Author:
Lakos Charles,Petrucci Laure
Publisher
Springer Berlin Heidelberg
Reference8 articles.
1. Lecture Notes in Computer Science;F. Bause,1997
2. Christensen, S., Petrucci, L.: Modular analysis of Petri nets. The Computer Journal 43(3), 224–242 (2000)
3. Lakos, C., Petrucci, L.: Modular analysis of systems composed of semiautonomous subsystems. In: Proc. 4th Int. Conf. on Application of Concurrency to System Design (ACSD 2004), Hamilton, Canada, pp. 185–194. IEEE Comp. Soc. Press, Los Alamitos (2004)
4. Lakos, C., Petrucci, L.: Modular state space exploration for timed Petri nets. Journal of Software Tools for Technology Transfer 9(3-4), 393–411 (2007)
5. Lecture Notes in Computer Science;M. Mäkelä,2003
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Key stream cipher based on coloured petri nets;THE 9TH INTERNATIONAL CONFERENCE ON APPLIED SCIENCE AND TECHNOLOGY (ICAST 2021);2022
2. PeCAn: Compositional Verification of Petri Nets Made Easy;Automated Technology for Verification and Analysis;2014
3. Extending pnml Scope: A Framework to Combine Petri Nets Types;Transactions on Petri Nets and Other Models of Concurrency VI;2012