基于Petri网的CSP并发系统验证技术研究 (Verification of Concurrent CSP Systems Based on Petri Net).
Yanqing LiuLingzhong ZhaoJunyan QianPublished in: 计算机科学 (2015)
Keyphrases
- petri net
- constraint satisfaction problems
- petri net model
- discrete event systems
- colored petri nets
- distributed systems
- manufacturing systems
- expert systems
- embedded real time systems
- neural network
- reactive systems
- high level petri nets
- story generation
- concurrent systems
- web service composition
- pattern classification
- model checking
- complex systems
- web services