Identifying Duplicates in Large Collections of Petri Nets and Nested-Unit Petri Nets.

Pierre Bouvier Hubert Garavel

Published in: Petri Nets (2024)

Keyphrases

petri net
high level petri nets
petri net model
discrete event systems
manufacturing systems
colored petri nets
stochastic petri net
programmable logic controller
neural network
service composition
ims ld
state machines
control strategy
sequence diagrams
fuzzy petri net