Deadlock control of multithreaded software based on Petri nets: A brief review.
M. D. GanZhijun DingS. G. WangW. H. WuM. C. ZhouPublished in: ICNSC (2016)
Keyphrases
- petri net
- programmable logic controller
- discrete event systems
- manufacturing systems
- colored petri nets
- embedded real time systems
- petri net model
- fuzzy petri net
- reactive systems
- control system
- state machines
- control method
- software development
- service composition
- commercial software
- discrete dynamical systems
- software components
- discrete event
- control strategy
- software quality
- software architecture
- process model
- cellular automata
- complex systems
- software systems
- rough sets
- neural network