True-concurrency probabilistic models, Information and Computation, vol.204, issue.2, pp.231-274, 2006. ,
DOI : 10.1016/j.ic.2005.10.001
URL : https://hal.archives-ouvertes.fr/hal-00350226
Introduction to Discrete Event Systems, 1999. ,
Free Choice Petri Nets, Cambridge Tracts in Theoretical Computer Science, vol.40, 1995. ,
DOI : 10.1017/CBO9780511526558
The Book of Traces, World Scientific, 1995. ,
DOI : 10.1142/2563
Branching processes of Petri nets, Acta Informatica, vol.4, issue.6, pp.575-591, 1991. ,
DOI : 10.1007/BF01463946
An improvement of McMillan's unfolding algorithm, Formal Methods in System Design, vol.20, issue.3, pp.285-310, 2002. ,
DOI : 10.1007/3-540-61042-1_40
Partial Order Techniques for Distributed Discrete Event Systems: Why You Can't Avoid Using Them, 2006 8th International Workshop on Discrete Event Systems, 2006. ,
DOI : 10.1109/WODES.2006.1678398
URL : https://hal.archives-ouvertes.fr/inria-00068387
Diagnosis of Asynchronous Discrete Event Systems, a Net Unfolding Approach, IEEE Trans. Aut. Control, vol.48, issue.5 ,
URL : https://hal.archives-ouvertes.fr/inria-00638345
Distributed Monitoring of Concurrent and Asynchronous Systems*, Discrete Event Dynamic Systems, vol.15, issue.1, pp.33-84, 2005. ,
DOI : 10.1007/s10626-005-5238-5
URL : https://hal.archives-ouvertes.fr/inria-00638342
Observability of place/transition nets, IEEE Transactions on Automatic Control, vol.47, issue.9, pp.1424-1437, 2002. ,
DOI : 10.1109/TAC.2002.802769
Control of Safe Ordinary Petri Nets Using Unfolding, Discrete Event Dynamic Systems, vol.49, issue.7, pp.349-373, 2005. ,
DOI : 10.1007/s10626-005-4057-z
URL : https://hal.archives-ouvertes.fr/emse-00449397
Partial order diagnosability of discrete event systems using petri net unfoldings, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475), 2003. ,
DOI : 10.1109/CDC.2003.1271732
URL : https://hal.archives-ouvertes.fr/inria-00638329
Unfold and cover: Qualitative diagnosability for Petri Nets, 2007 46th IEEE Conference on Decision and Control, 2007. ,
DOI : 10.1109/CDC.2007.4434691
URL : https://hal.archives-ouvertes.fr/inria-00638308
Diagnosability and Branching Process Semantics In: Object Petri Nets, Processes, and Object Calculi, pp.13-34 ,
A Survey of Petri Net Methods for Controlled Discrete event systems. Discrete Event Dynamic Systems, Theory and Applications, vol.7, pp.151-190, 1997. ,
A Polynomial Time Algorithm for Diagnosability of Discrete Event Systems ,
Canonical prefixes of Petri net unfoldings, Proc. CAV 2002, pp.95-118582, 2002. ,
DOI : 10.1007/s00236-003-0122-y
Formulae relating controllability, observability, and co-observability, Automatica, vol.34, issue.2, pp.211-215, 1998. ,
DOI : 10.1016/S0005-1098(97)00164-7
The topology of Mazurkiewicz traces, Theoretical Computer Science, vol.305, issue.1-3, pp.237-258, 2003. ,
DOI : 10.1016/S0304-3975(02)00694-1
A metric for traces, Information Processing Letters, vol.35, issue.3, pp.129-135 ,
DOI : 10.1016/0020-0190(90)90061-2
Diagnosability of discrete event systems and its applications. Discrete Event Dynamic Systems, pp.197-212, 1994. ,
Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits, 4th Workshop on Computer Aided Verification, pp.164-174, 1992. ,
DOI : 10.1007/3-540-56496-9_14
Petri nets: Properties, analysis and applications, Proc. of the IEEE, 1989. ,
DOI : 10.1109/5.24143
Petri nets, event structures and domains, part I, Theoretical Computer Science, vol.13, issue.1, pp.85-108, 1981. ,
DOI : 10.1016/0304-3975(81)90112-2
Petri Net Theory and the Modeling of Systems, 1981. ,
Petri nets, 1985. ,
Diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol.40, issue.9, pp.1555-1575, 1995. ,
DOI : 10.1109/9.412626
Polynomial-Time Verification of Diagnosability of Partially-Observed Discrete-Event Systems, IEEE Trans. Aut. Control, vol.47, issue.9, pp.1491-1495, 2002. ,