Author:
Cicirelli Franco,Furfaro Angelo,Nigro Libero
Subject
Applied Mathematics,Computational Mathematics
Reference29 articles.
1. Recoverability of communication protocols–implications of a theoretical study;Merlin;IEEE Trans. Commun.,1976
2. C. Ramchandani, Analysis of Asynchronous Concurrent Systems by Timed Petri nets, Ph.D. Thesis, MIT, Cambridge, MA, 1974.
3. Petri nets: properties, analysis and applications;Murata;Proc. IEEE,1989
4. Modeling and verification of time dependent systems using Time Petri Nets;Berthomieu;IEEE Trans. Softw. Eng.,1991
5. The tool TINA – construction of abstract state spaces for Petri Nets and Time Petri Nets;Berthomieu;Int. J. Prod. Res.,2004
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献