Pomset bisimulation and unfolding for reset Petri nets.

Thomas Chatain Maurice Comlan David Delfieu Loïg Jezequel Olivier Henri Roux

Published in: Inf. Comput. (2022)

Keyphrases

petri net
petri net model
manufacturing systems
high level petri nets
discrete event systems
colored petri nets
ims ld
fuzzy petri net
concurrent systems
process model
service composition
state machines
stochastic petri net
neural network
distributed systems
programmable logic controller