Petri Nets and the Equivalence Problem.

Yoram Hirshfeld

Published in: CSL (1993)

Keyphrases

petri net
petri net model
high level petri nets
discrete event systems
manufacturing systems
service composition
colored petri nets
stochastic petri net
fuzzy petri net
concurrent systems
genetic algorithm
ims ld
state machines
discrete dynamical systems
programmable logic controller