Login / Signup
Asynchronous and Synchronous Communications in Petri Nets for Run-Time Analysis of a Device Ecology.
Sucha Smanchat
Maria Indrawan
Sea Ling
Seng Wai Loke
Published in:
iiWAS (2005)
Keyphrases
</>
petri net
state machines
data analysis
manufacturing systems
colored petri nets
neural network
mobile devices
model checking
service composition
concurrent systems
petri net model