Modeling and Race Detection of Ladder Diagrams via Ordinary Petri Nets.
Jiliang LuoQi ZhangXuekun ChenMengChu ZhouPublished in: IEEE Trans. Syst. Man Cybern. Syst. (2018)
Keyphrases
- petri net
- colored petri nets
- sequence diagrams
- stochastic petri net
- petri net model
- discrete event systems
- manufacturing systems
- ims ld
- service composition
- embedded real time systems
- concurrent systems
- process model
- reactive systems
- state machines
- low cost
- high dimensional
- expert systems
- web services
- decision making
- artificial intelligence
- genetic algorithm
- neural network