Sign in
Concurrency bugs in multithreaded software: modeling and analysis using Petri nets.
Hongwei Liao
Yin Wang
Hyoun Kyu Cho
Jason Stanley
Terence Kelly
Stéphane Lafortune
Scott A. Mahlke
Spyros A. Reveliotis
Published in:
Discret. Event Dyn. Syst. (2013)
Keyphrases
</>
petri net
colored petri nets
software systems
web services
source code
fuzzy petri net
data analysis
distributed systems
production system
manufacturing systems
software maintenance
data flow
commercial software
discrete event systems
stochastic petri net