Verification of Systems: Deadlock Analysis Based on Petri Nets.

Published in: ICTERI (2012)

Keyphrases

petri net
colored petri nets
discrete event systems
petri net model
distributed systems
concurrent systems
data analysis
fuzzy logic
expert systems
computer systems
smart card
manufacturing systems
telecommunication networks
reactive systems