StrataGEM: A Generic Petri Net Verification Framework.

Edmundo López Bóbeda Maximilien Colange Didier Buchs

Published in: Petri Nets (2014)

Keyphrases

petri net
petri net model
colored petri nets
manufacturing systems
high level petri nets
genetic algorithm
knowledge base
learning environment
data analysis
process model
model checking