Browsing by Subject "Consistency checks"
Now showing items 1-1 of 1
-
Article
Monitoring discrete event systems using Petri net embeddings
(1999)In 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 ...