A Petri-Net Based Approach for Verifying the Integrity of Production Systems.
Ritu AgarwalMohan TanniruPublished in: Int. J. Man Mach. Stud. (1992)
Keyphrases
- production system
- petri net
- production process
- petri net model
- multistage
- discrete event systems
- colored petri nets
- manufacturing systems
- web service composition
- certainty factor
- fuzzy petri net
- expert systems
- markov decision
- ims ld
- stochastic petri net
- model checking
- process model
- production line
- service composition
- multiprocessor architecture
- production rules
- control structure
- scheduling jobs
- concurrent systems
- learning resources
- single machine
- story generation
- web services
- artificial intelligence