Verifying the Produce of Car-Bind through Timed Petri Net.

Dong-liang Lee Jih-Fu Tu Hsuan-Jung Lee Kwang Pi Chen

Published in: AINA Workshops (2012)

Keyphrases

petri net
manufacturing systems
colored petri nets
petri net model
fuzzy petri net
discrete event systems
high level petri nets
web service composition
ims ld
process model
service composition
concurrent systems
model checking
stochastic petri net
hardware and software
decision making
data analysis