On Controllability of Timed Continuous Petri Nets.

Carlos Renato Vázquez Antonio Ramírez-Treviño Laura Recalde Manuel Silva Suárez

Published in: HSCC (2008)

Keyphrases

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