Discovering of the unobservable behaviour of an Interpreted Petri Net model
Pages 2021 - 2026
Abstract
This paper focuses on the problem of discovering a Petri Net model from long event sequences generated by a discrete event system. Precisely, it is assumed that the relations between input and output events (i.e. the observable behaviour of the system) are already modelled by a set of Interpreted Petri Net fragments while the behaviour of the internal state evolutions (i.e. the unobservable behaviour) must be discovered. An approach inspired to net synthesis is proposed. It relies on an optimization-based procedure for the identification of the unobservable net structure and marking.
References
[1]
F. Basile, M. P. Cabasino, and C. Seatzu Diagnosability analysis of labeled time Petri net systems. IEEE Trans. Autom. Control, 62(3):1384–1396, March 2017.
[2]
F. Basile, P. Chiacchio, and J. Coppola A Novel Model Repair Approach of Timed Discrete-Event Systems With Anomalies. IEEE Transactions on Automation Science and Engineering, 13(4):1541–1556, October 2016.
[3]
F. Basile, P. Chiacchio, and J. Coppola Identification of time petri net models. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 47(9):2586–2600, Sep. 2017.
[4]
F. Basile, P. Chiacchio, and D. Teta A hybrid model for real time simulation of urban traffic. Control Engineering Practice, 20(2):123–137, 2012.
[5]
M.P. Cabasino, P. Darondeau, M.P. Fanti, and C. Seatzu Model identification and synthesis of discrete-event systems. In Mengchu Zhou, Han-Xiong Li, and Margot Weijnen, editors, Contemporary Issues in Systems Science and Engineering, IEEE/Wiley Press Book Series, pages 343–366. John Wiley & Sons, Inc., 2015.
[6]
M.P. Cabasino, A. Giua, and C. Seatzu Identification of Petri nets from knowledge of their language. Discrete Event Dynamic Systems, 17:447–474, December 2007.
[7]
J. Cortadella, M. Kishinevsky, L. Lavagno, and A. Yakovlev Deriving Petri nets from finite transition systems. IEEE Trans. on Computers, 47(8):859–852, August 1998.
[8]
P. Darondeau Region based synthesis of p/t-nets and its potential applications. In 21st Int. Conf. on App. and Theory of Petri Nets 2000 (ICATPN 2000) Aarhus, Denmark, volume 1825 of Lecture Notes in Computer Science, pages 16–23. Springer, June 2000.
[9]
M Dotoli, M.P. Fanti, and A.M. Mangini Real time identification of discrete event systems using Petri nets. Automatica, 44(5):1209–1219, 2008.
[10]
A. P. Estrada-Vargas, J. Lesage, and E. Lopez-Mellado Identification of industrial automation systems: Building compact and expressive petri net models from observable behavior. In 2012 American Control Conference (ACC), pages 6095–6101, June 2012.
[11]
A. P. Estrada-Vargas, E. Lopez-Mellado, and J. Lesage Identification of partially observable discrete event manufacturing systems. In 2013 IEEE 18th Conference on Emerging Technologies Factory Automation (ETFA), pages 1–7, Sept 2013.
[12]
A. P. Estrada-Vargas, E. Lopez-Mellado, and J. Lesage A black-box identification method for automated discrete-event systems. IEEE Transactions on Automation Science and Engineering, 14(3):1321–1336, July 2017.
[13]
A. Ghaffari, N. Rezg, and Xiaolan Xie Design of a live and maximally permissive petri net controller using the theory of regions. IEEE Transactions on Robotics and Automation, 19(1):137–141, Feb 2003.
[14]
T. Murata Petri nets: Properties, analysis and applications. 77(4):541–580, April 1989.
[15]
J. Saives, G. Faraut, and J. Lesage Identification of discrete event systems unobservable behaviour by petri nets using language projections. In 2015 European Control Conference, pages 464–471, 2015.
[16]
Ana Paula Estrada Vargas Black-box Identification of Automated Discrete Event Systems. PhD. Centro de Investigacin y de Estudios Avanzados del I.P.N., 2013.
[17]
G. Zhu, Z. Li, and N. Wu Model-based fault identification of discrete event systems using partially observed petri nets. Automatica, 96:201–212, 2018.
Recommendations
The »Petri Net Baukasten«: An Overview
Unifying Petri Nets, Advances in Petri NetsThis paper presents an overview of the Petri Net Baukasten developed by the "DFG-Forschergruppe Petrinetz-Technologie" in Berlin. The Petri Net Baukasten provides a unified presentation with different views on theory, application, and tools of Petri ...
Revisiting Petri Net Modeling of the Cigarette Smokers' Problem: A GPenSIM Approach
EMS '13: Proceedings of the 2013 European Modelling SymposiumPetri Nets is a family of modeling formalisms, with different interpretations and abstraction levels; the Petri nets family of modeling formalisms includes ordinary Petri Net, generalized Petri Net, and also all other extensions e.g. Colored Petri Net, ...
Behaviour and Instantiation of High-Level Petri Net Processes
Processes for high-level nets are often defined as processes of the low-level net Flat(n) which is obtained from N via the well-known flattening construction. This low-level notion of processes for high-level nets, however, is not really adequate, ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
7716 pages
Copyright © 2019.
Publisher
IEEE Press
Publication History
Published: 01 December 2019
Qualifiers
- Research-article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 28 Sep 2024
Other Metrics
Citations
View Options
View options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in