Author:
Klai Kais,Haddad Serge,Ilié Jean-Michel
Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. Lecture Notes in Computer Science;M.-L. Benalycherif,1996
2. Christensen, S., Petrucci, L.: Modular analysis of petri nets. Computer Journal 43(3), 224–242 (2000)
3. Haddad, S., Ilié, J.-M., Klai, K.: An incremental verification technique using decomposition of petri net. In: Proc. of the IEEE SMC 2002 - Systems, Man and Cybernetics, Hammamet, Tunisia (2002)
4. Haddad, S., Ilié, J.-M., Klai, K.: Design and evaluation of a symbolic and abstraction-based model checker. In: Proc. of Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3 (2004)
5. Ilié, J.-M., Klai, K., Zouari, B.: A modular verification methodology for dnri petri nets. In: Proc. of the International Conference ACS/IEEE 2003 on Computer Systems and Applications (AICCSA-2003), Tunis, Tunisia, pp. 14–18 (2003)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Compositional Verification in Rewriting Logic;Theory and Practice of Logic Programming;2023-08-31
2. Bibliography;Path Planning of Cooperative Mobile Robots Using Discrete Event Models;2019-12-16
3. Component-Based Abstraction of Petri Net Models;Proceedings of the Sixth International Symposium on Information and Communication Technology;2015-12-03
4. Modular nets of active resources;Automatic Control and Computer Sciences;2012-02
5. A Counterexample-Based Incremental and Modular Verification Approach;Large-Scale Complex IT Systems. Development, Operation and Management;2012