Author:
Haddad Serge,Ilié Jean-Michel,Ajami Khalil
Reference16 articles.
1. K. Ajami, S. Haddad, and J.-M. Ilié. Exploiting Symmetry in Linear Temporal Model Checking: One Step Beyond. In Proc. of Tools and Algorithms for the Construction and Analysis of Systems TACAS’98, part of Theory and practice of Software ETAPS’98, volume 1384 of LNCS, pages 52–67, Lisbon - Portugal, April 1998. Springer Verlag.
2. G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad. On Well-Formed Coloured Nets and Their Symbolic Reachability Graph. In K. Jensen and G. Rozenberg, editors, High-Level Petri Nets. Theory and Application, pages 373–396. Springer Verlag, 1991.
3. G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad. Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications. IEEE Transactions on Computers, 42 (11): 1343–1360, 1993.
4. G. Chiola, G. Franceshinis, R. Gaeta, and M. Ribaudo. GreatSPN1.7: GRaphical Editor and Analyzer for Timed and Stochastic Petri Nets. Performance Evaluation, North Holland Journal, 24, 1997.
5. E.M. Clarke, R. Enders, T. Filkorn, and S. Jha. Exploiting Symmetry in Temporal Logic Model Chacking. Formal Methods and System Design, 9: 77–104, 1996.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Unfolding of Products of Symmetrical Petri Nets;Applications and Theory of Petri Nets 2001;2001