A Method to Analyze High Level Petri Nets using SPIN Model Checker.

Dewan Mohammad Moksedul Alam Xudong He

Published in: SEKE (2017)

Keyphrases

petri net
genetic algorithm
artificial intelligence
knowledge base
learning environment
edge detection
orders of magnitude
decision rules