Lending Petri nets and contracts

Massimo Bartoletti Tiziana Cimoli G. Michele Pinna

Published in: CoRR (2012)

Keyphrases

petri net
petri net model
high level petri nets
manufacturing systems
supply chain
discrete event systems
colored petri nets
ims ld
fuzzy petri net
service composition
programmable logic controller
neural network
state machines
process model
discrete dynamical systems
concurrent systems
expert systems