Browsing by Subject "Bisimulation"
Now showing items 1-1 of 1
-
Article
Designs of bisimilar Petri net controllers with fault tolerance capabilities
(2008)This paper proposes an approach for providing tolerance against faults that may compromise the functionality of a given controller modeled by a Petri net. The method is based on embedding the given Petri net controller ...