The synthesis problem for elementary net systems is NP-complete, Theoretical Computer Science, vol.186, issue.1-2, pp.107-134, 1997. ,
DOI : 10.1016/S0304-3975(96)00219-8
URL : https://hal.archives-ouvertes.fr/inria-00074122
Sequential and concurrent behaviour in Petri net theory, Theoretical Computer Science, vol.55, issue.1, pp.87-136, 1987. ,
DOI : 10.1016/0304-3975(87)90090-9
Nonsequential processes : a Petri net view, volume 13 of EATCS Monographs on TCS, 1988. ,
DOI : 10.1007/978-3-642-73483-0
Partial-order Methods for the Verification of Concurrent Systems: an Approach to the State-explosion Problem, LNCS, vol.1032, 1996. ,
DOI : 10.1007/3-540-60761-7
The non-sequential behaviour of Petri nets, Information and Control, vol.57, issue.2-3, pp.125-147, 1983. ,
DOI : 10.1016/S0019-9958(83)80040-0
Confluence for process verification. Theoretical computer science, pp.47-81, 1996. ,
Causal automata, Theoretical Computer Science, vol.101, issue.2, pp.265-288, 1992. ,
DOI : 10.1016/0304-3975(92)90052-H
On the Origin of Events: Branching Cells as Stubborn Sets, PETRI NETS 2011, 2011. ,
DOI : 10.1007/978-3-540-28644-8_31
Partial confluence of processes and systems of objects, Theoretical Computer Science, vol.206, issue.1-2, pp.127-162, 1998. ,
DOI : 10.1016/S0304-3975(97)00111-4
Concurrency and Communication, 1988. ,
All from one, one for all: on model checking using representatives, Proceedings of the 5th International Conference on Computer Aided Verification, pp.409-423, 1993. ,
DOI : 10.1007/3-540-56922-7_34
Models for concurrency: towards a classification, Theoretical Computer Science, vol.170, issue.1-2, pp.297-348, 1996. ,
DOI : 10.1016/S0304-3975(96)80710-9
Stubborn sets for reduced state space generation, ICATPN, pp.491-515, 1989. ,
DOI : 10.1007/3-540-53863-1_36
Configuration structures, event structures and Petri nets, Theoretical Computer Science, vol.410, issue.41, pp.4111-4159, 2009. ,
DOI : 10.1016/j.tcs.2009.06.014
Refinement of actions and equivalence notions for concurrent systems, Acta Informatica, vol.37, issue.4-5, pp.229-327, 2001. ,
DOI : 10.1007/s002360000041
Event Structures for Resolvable Conflict, MFCS 2004, pp.550-561, 2004. ,
DOI : 10.1007/978-3-540-28629-5_42
Event structures, Advances in Petri Nets, pp.325-392, 1987. ,
DOI : 10.1007/3-540-17906-2_31
URL : https://hal.archives-ouvertes.fr/hal-00148921
Models for concurrency, Handbook of logic in Computer Science, 1995. ,
On the models for asynchronous circuit behaviour with OR causality, Formal Methods in System Design, vol.2, issue.no. 3, pp.189-233, 1996. ,
DOI : 10.1007/BF00122082