Petri Net Analysis Using Invariant Generation.

Sriram Sankaranarayanan Henny Sipma Zohar Manna

Published in: Verification: Theory and Practice (2003)

Keyphrases

petri net
knowledge based systems
neural network
discrete event systems
machine learning
data analysis
control system
petri net model
high level petri nets