On Reachability in Autonomous Continuous Petri Net Systems.

Jorge Júlvez Laura Recalde Manuel Silva Suárez

Published in: ICATPN (2003)

Keyphrases

petri net
discrete event systems
manufacturing systems
computer systems
control system
distributed systems
service composition
web service composition
colored petri nets
petri net model
embedded real time systems