Identification of discrete event systems unobservable behaviour by petri nets using language projections

2015 European Control Conference, ECC 2015

Volumn , Issue , 2015, Pages 464-471

  Saives, Jeremie ^a   Faraut, Gregory ^a   Lesage, Jean Jacques ^a  

^a Ecole Normale Superieure de Cachan   (France)

Author keywords

[No Author keywords available]

Indexed keywords

DIRECT SEQUENCE SYSTEMS; PETRI NETS;

DEPENDANCY; FIRING SEQUENCES; INTERNAL STATE; MINIMAL DEGREE; NET STRUCTURES; PARAMETRIC ALGORITHMS; SEARCH SPACES; UNOBSERVABLE;

DISCRETE EVENT SIMULATION;

EID: 84963795549     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ECC.2015.7330587     Document Type: Conference Paper

References (14)

1. E. Badouel, L. Bernardinello, and P. Darondeau. Polynomial algorithms for the synthesis of bounded nets. In Lecture Notes in Computer Science, 915, pp 647-679, 1995.
2. M.P. Cabasino, P. Darondeau, M.P. Fanti, and C. Seatzu. Model identification and synthesis of discrete-event systems. In Contemporary Issues in System Science and Engineering. IEEE-Wiley, pp 1-22, 2014.
3. M.P. Cabasino, A. Giua, C.N. Hadjicostis, and C. Seatzu. Fault model identification and synthesis in petri nets. In Discrete Event Dynamic Systems, pp 1-22, 2014.
4. M.P. Cabasino, A. Giua, and C. Seatzu. Identification of petri nets from knowledge of their language. In Discrete Event Dynamic Systems, 17(4), pp 447-474, 2007.
5. M. Dotoli, M.P. Fanti, A.M. Mangini, and W.Ukovitch. Identification of the unobservable behaviour of industrial automation systems by petri nets. In Control Engineering Practice, 9(9), pp 958-966, 2010.
6. A.-P. Estrada-Vargas, J.-J. Lesage, and E. Lopez-Mellado. Identification of industrial automation systems: Building compact and expressive petri net models from observable behavior. In 2012 Amercian Control Conference, Montreal, QC, pp 6095-6101, 2012.
7. A.-P. Estrada-Vargas, J.-J. Lesage, and E. Lopez-Mellado. Identification of partially observable discrete event manufacturing systems. In 2013 IEEE 18th Conference on Emerging Technologies and Factory Automation (ETFA), Cagliari, pp 1-7, 2013.
8. A. Giua and C. Seatzu. Identification of free-labeled petri nets via integer programming. In Proc of the 44th IEEE Conference on Decision and Control, and the European Control Conference, Seville, pp 7639-7644, 2005.
9. Antoni Mazurkiewicz. Introduction to trace theory. In The Book of Traces, World Scientific Publishing Company, pp 3-41, 1995.
10. T. Tapia-Flores, E. Lopez-Mellado, A.-P. Estrada-Vargas, and J.-J. Lesage. Petri net discovery of discrete event processes by computing t-invariants. In 2014 IEEE 19th Conference on Emerging Technologies and Factory Automation (ETFA), Barcelona, pp 1-8, 2014.
11. W.-M.-P Van der Aalst. Do petri nets provide the right representational bias for process mining In Proc. of the Workshop Applications of Region Theory 2011, pp 85-94, 2011.
12. W.-M.-P Van der Aalst, A.-J.-M.-M. Weijters, and L. Maruster. Workflow mining: Discovering process models from event logs. In IEEE Transactions on Knowledge and Data Engineering 16(9) pp. 1128-1142, 2004.
13. B.F. Van Dongen, A.K. Alves de Medeiros, and L. Wen. Process mining: Overview and outlook of petri net discovery algorithms. In Transactions on Petri Nets and Other Models of Concurrency-ToPNoC II, LNCS 5460, pp. 225-242, 2009.
14. L. Wen, W.-M.-P. Van der Aalst, J. Wang, and J. Sun. Mining process models with non-free-choice constructs. In Data Mining and Knowledge Discovery 15(2), pp. 145-180, 2007.