Accelerations for the Coverability Set of Petri Nets with Names.

Fernando Rosa-Velardo María Martos-Salgado David de Frutos-Escrig

Published in: Fundam. Informaticae (2011)

Keyphrases

petri net
petri net model
high level petri nets
artificial intelligence
cellular automata
manufacturing systems
dependency graph
colored petri nets