Petri Nets Identification Techniques for Automated Modelling of Discrete Event Processes

Petri Nets Identification Techniques for Automated Modelling of Discrete Event Processes

ISBN13: 9781522522553|ISBN10: 1522522557|EISBN13: 9781522522560
DOI: 10.4018/978-1-5225-2255-3.ch652
Cite Chapter Cite Chapter

MLA

Rodriguez-Perez, Edelma, and Ernesto Lopez-Mellado. "Petri Nets Identification Techniques for Automated Modelling of Discrete Event Processes." Encyclopedia of Information Science and Technology, Fourth Edition, edited by Mehdi Khosrow-Pour, D.B.A., IGI Global, 2018, pp. 7488-7502. https://doi.org/10.4018/978-1-5225-2255-3.ch652

APA

Rodriguez-Perez, E. & Lopez-Mellado, E. (2018). Petri Nets Identification Techniques for Automated Modelling of Discrete Event Processes. In M. Khosrow-Pour, D.B.A. (Ed.), Encyclopedia of Information Science and Technology, Fourth Edition (pp. 7488-7502). IGI Global. https://doi.org/10.4018/978-1-5225-2255-3.ch652

Chicago

Rodriguez-Perez, Edelma, and Ernesto Lopez-Mellado. "Petri Nets Identification Techniques for Automated Modelling of Discrete Event Processes." In Encyclopedia of Information Science and Technology, Fourth Edition, edited by Mehdi Khosrow-Pour, D.B.A., 7488-7502. Hershey, PA: IGI Global, 2018. https://doi.org/10.4018/978-1-5225-2255-3.ch652

Export Reference

Mendeley
Favorite

Abstract

One of the ways to perform the reverse engineering of a reactive system is to analyse the model of such a system. However, this model could not exist or the documentation could not be updated; then a model that describes the current behaviour of the system has to be built. Automated modelling of reactive discrete event processes can be achieved through identification techniques, which yield suitable discrete event models from the observed behaviour in the form of input-output sequences. This chapter presents an overview of input-output identification techniques that build Petri net models.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.