Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens.

Kathrin Hoffmann Till Mossakowski

Published in: WADT (2002)

Keyphrases

petri net
higher order
petri net model
manufacturing systems
discrete event systems
colored petri nets
high level petri nets
pairwise
fuzzy petri net
ims ld
state machines
service composition
discrete dynamical systems
web services
learning experience
concurrent processes
low cost
expert systems