External Behaviour Equivalence between two Petri Nets.

A. Bourguet-Rouger

Published in: Concurrency (1988)

Keyphrases

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