Logical inference of clauses based on Petri net models.

Chuang Lin Samuel T. Chanson

Published in: Int. J. Intell. Syst. (1998)

Keyphrases

petri net
logical inference
stochastic petri net
web service composition
process model
first order logic
discrete event systems
reactive systems
petri net model
machine learning
probabilistic model
complex systems