Author:
Pajault Christophe,Pradat-Peyre Jean-François
Publisher
Springer Berlin Heidelberg
Reference33 articles.
1. Berthelot, G.: Transformation et analyse de réseaux de Petri, applications aux protocoles. Thèse d’état, Université Pierre et Marie Curie, Paris (1983)
2. Bell, A., Haverkort, B.R.: Sequential and distributed model checking of petri net specifications. Electr. Notes Theor. Comput. Sci. 68(4) (2002)
3. Clarke, E.M., Grumberg, O., Long, D.E.: Model checking and abstraction. In: POPL ’92: Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Albuquerque, New Mexico, United States, pp. 343–354. ACM Press, New York (1992)
4. Lecture Notes in Computer Science;S. Christensen,2001
5. Cohen, E., Lamport, L.: Reduction in TLA. In: International Conference on Concurrency Theory, pp. 317–331 (1998),
citeseer.nj.nec.com/cohen98reduction.html