Colored Petri net control of OR-logic.

Weimin Wu Hongye Su Jian Chu Walter Murray Wonham

Published in: ISIC (2002)

Keyphrases

colored petri nets
petri net
control system
database
databases
data acquisition
neural network
artificial intelligence
knowledge base
web services
modal logic
control strategy
optimal control
control method
automated reasoning