On service orchestration of cyber physical system and its verification based on Petri net.
Mohd Anuaruddin Bin AhmadonShingo YamaguchiPublished in: GCCE (2016)
Keyphrases
- petri net
- petri net model
- web services
- service composition
- colored petri nets
- web service composition
- cyber physical systems
- concurrent systems
- service oriented architecture
- service oriented
- fuzzy petri net
- cyber security
- ims ld
- stochastic petri net
- workflow process
- production process
- real time
- business processes
- data mining
- critical infrastructure
- intrusion detection
- low cost