Login / Signup
Component-Based Abstraction of Petri Net Models: An Application for Congestion Verification of Wireless Sensor Networks.
Khanh Le
Thang H. Bui
Tho Quan
Laure Petrucci
Étienne André
Published in:
SoICT (2015)
Keyphrases
</>
petri net
wireless sensor networks
petri net model
stochastic petri net
manufacturing systems
complex systems
process model
colored petri nets
sensor networks
reactive systems
concurrent systems
high level petri nets
decision making
distributed systems
learning analytics