Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets.
Stéphane LafortuneYin WangSpyros A. ReveliotisPublished in: Petri Nets (2013)
Keyphrases
- petri net
- software systems
- programmable logic controller
- petri net model
- manufacturing systems
- discrete event systems
- embedded real time systems
- source code
- software development
- fuzzy petri net
- service composition
- state machines
- test cases
- software projects
- bug localization
- colored petri nets
- process model
- software architecture
- control system
- control method
- commercial software
- hardware and software
- ims ld
- software quality
- data flow
- software maintenance
- control strategy
- concurrency control
- computer systems
- fuzzy control
- neural network
- rough sets
- software engineering
- stochastic petri net
- expert systems
- artificial intelligence