Petri net discovery of discrete event processes by computing t-invariants

19th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2014

Volumn , Issue , 2014, Pages

  Tapia Flores, Tonatiuh ^a   López Mellado, Ernesto ^a   Estrada Vargas, Ana Paula ^b   Lesage, Jean Jacques ^c  

^a UNIDAD GUADALAJARA   (Mexico)

^b Oracle de México S A de CV ^*  (Mexico)

^c Ecole Normale Superieure de Cachan   (France)

Author keywords

Model discovery; Petri Nets; t invariants

Indexed keywords

FACTORY AUTOMATION;

BUSINESS PROCESS; DISCRETE EVENTS; EXECUTION TRACE; MODEL DISCOVERIES; SINGLE EVENT; T-INVARIANT;

PETRI NETS;

EID: 84946692939     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ETFA.2014.7005080     Document Type: Conference Paper

References (21)

1. M. E. Gold, "Language identification in the limit", Information and Control, 10(5), pp. 447-474, 1967
2. D. Angluin, "Queries and Concept Learning", Machine Learning, vol. 2, pp. 319-342, 1988
3. M. Meda-Campana, A. Ramirez-Treviño, and E. Loopez-Mellado, "Asymptotic identification of discrete event systems", in Proc. of the 39th IEEE Conf. on Decision and Control, pp. 2266-2271, 2000
4. M. Meda-Campana and E. López-Mellado, "Identification of concurrent discrete event systems using Petri nets", in Proc. of the 17th IMACS World Congress on Computational and Applied Mathematics, pp. 11-15, 2005
5. M. P. Cabasino, A. Giua, C. Seatzu, " Identification of Petri nets from knowledge of their language, " Discrete Event Dynamic Systems, Vol. 17, No. 4, pp. 447-474, 2007
6. M. P. Cabasino, A. Giua, and C. Seatzu, "Linear programming techniques for the identification of place/transition nets", in Proc. of the 47th IEEE Conf. on Decision and Control, pp. 514-520, 2008
7. M. Dotoli, M. Pia Fanti, A. M. Mangini, and W. Ukovich, "Identification of the unobservable behaviour of industrial automation systems by Petri nets", Control Engineering Practice, 19( 9), pp. 958-966, 2011
8. S. Klein, L. Litz, J.-J. Lesage, "Fault detection of discrete event systems using an identification approach", in Proc. of the 16th IFAC world Congress, 6 pages, 2005
9. M. Roth, S. Schneider, J.-J. Lesage, and L. Litz, "Fault detection and isolation in manufacturing systems with an identified discrete event model", International Journal of Systems Science, 43(10), pp. 1826-1841, 2012
10. A. P. Estrada-Vargas, E. Lopez-Mellado, and J.-J. Lesage, "Identification of partially observable discrete event manufacturing systems", in Proc. of the 18th IEEE Conf. on Emerging Technologies & Factory Automation, pp. 1-7, 2013
11. A. P. Estrada-Vargas, J-J. Lesage, E. López-Mellado "A Stepwise Method for Identification of Controlled Discrete Manufacturing Systems". Int. Journal of Computer Integrated Manufacturing. Pub. on-line: Jan, 27, 2014. ISSN: 0951-192X pp. 1-13
12. A. P. Estrada-Vargas, E. Lopez-Mellado, and J.-J. Lesage, "A comparative analysis of recent identification approaches for discrete event systems", Mathematical Problems in Engineering, vol. 2010, 2010
13. M. P. Cabasino, P. Darondeau, M. P. Fanti, and C. Seatzu, "Model identification and synthesis of discrete-event systems", Contemporary Issues in Systems Science and Engineering, IEEE/Wiley Press Book Series 2013
14. R. Agrawal, D. Gunopulos, and F. Leymann, "Mining Process Models from Workflow Logs", Lecture Notes in Computer Science, Vol. 1377, pp. 469-483, 1998
15. J. E. Cook, Z. Du, C. Liu, and A. L. Wolf, "Discovering models of behavior for concurrent workflows", Computers in industry, 53(3), pp. 297-319, 2004
16. W. Van der Aalst, T. Weijters, and L. Maruster, "Workflow mining: Discovering process models from event logs", IEEE Trans. On Knowledge and Data Engineering, 16(9), pp. 1128-1142, 2004
17. L. Wen, J. Wang, and J. Sun, "Detecting implicit dependencies between tasks from event logs", Lecture Notes in Computer Science, Vol. 3841, pp 591-603, 2006
18. D. Wang, J. Ge, H. Hu, and B. Luo, "A new process mining algorithm based on event type", in Proc. of the 9th IEEE Conf. on Dependable Autonomic and Secure Computing, pp. 1144-1151, 2011
19. D. Wang, J. Ge, H. Hu, B. Luo, and L. Huang, "Discovering process models from event multiset", Expert Systems with Applications, 39(15), pp. 11970-11978, 2012.
20. W. M. Van der Aalst, "Discovery, Conformance and Enhancement of Business Processes", 368 pages, Springer, 2011
21. PIPE 2: Platform Independent Petri net Editor 2, http://pipe2. sourceforge. net/