A Petri-Net Based Approach for Verifying the Integrity of Production Systems.

Ritu Agarwal Mohan Tanniru

Published 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