Representation Theorems for Petri Nets.

José Meseguer Ugo Montanari Vladimiro Sassone

Published in: Foundations of Computer Science: Potential - Theory - Cognition (1997)

Keyphrases

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