Show simple item record

dc.contributor.authorHadjicostis, Christoforos N.en
dc.contributor.authorVerghese, G. C.en
dc.contributor.editorKleijn J.en
dc.contributor.editorDonatelli S.en
dc.creatorHadjicostis, Christoforos N.en
dc.creatorVerghese, G. C.en
dc.date.accessioned2019-04-08T07:46:06Z
dc.date.available2019-04-08T07:46:06Z
dc.date.issued1999
dc.identifier.issn3-540-66132-8
dc.identifier.issn978-3-540-66132-0
dc.identifier.urihttp://gnosis.library.ucy.ac.cy/handle/7/43577
dc.description.abstractIn this paper we discuss a methodology for monitoring failures and other activity in discrete event systems that are described by Petri nets. Our method is based on embedding the given Petri net model in a larger Petri net that retains the functionality and properties of the given one, perhaps in a non-separate (that is, not immediately identifiable) way. This redundant Petri net embedding introduces “structured redundancy” that can be used to facilitate fault detection, identification and correction, or to offer increased capabilities for monitoring and control. We focus primarily on separate embeddings in which the functionality of the original Petri net is retained in its exact form. Using these embeddings, we construct monitors that operate concurrently with the original system and allow us to detect and identify different types of failures by performing consistency checks between the state of the original Petri net and that of the monitor. The methods that we propose are attractive because the resulting monitors are robust to failures, they may not require explicit acknowledgments from each activity, and their construction is systematic and easily adaptable to restrictions in the available information. We also discuss briefly how to construct nonseparate Petri net embeddings. © Springer-Verlag Berlin Heidelberg 1999.en
dc.sourceLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)en
dc.source.urihttps://www.scopus.com/inward/record.uri?eid=2-s2.0-84958982586&doi=10.1007%2f3-540-48745-X_12&partnerID=40&md5=0a7aababf75476c5bd7af78888bf9235
dc.subjectDiscrete event simulationen
dc.subjectFault detectionen
dc.subjectPetri netsen
dc.subjectPetri net modelsen
dc.subjectConsistency checksen
dc.subjectEmbeddingsen
dc.subjectMonitoring and controlen
dc.subjectOriginal systemsen
dc.titleMonitoring discrete event systems using Petri net embeddingsen
dc.typeinfo:eu-repo/semantics/article
dc.identifier.doi10.1007/3-540-48745-X_12
dc.description.volume1639
dc.description.issueJournal Articleen
dc.description.startingpage188
dc.description.endingpage207
dc.author.facultyΠολυτεχνική Σχολή / Faculty of Engineering
dc.author.departmentΤμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών / Department of Electrical and Computer Engineering
dc.type.uhtypeArticleen
dc.source.abbreviationLect. Notes Comput. Sci.en
dc.contributor.orcidHadjicostis, Christoforos N. [0000-0002-1706-708X]


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record