Decidability Problems in Petri Nets with Names and Replication.

Fernando Rosa-Velardo David de Frutos-Escrig

Published in: Fundam. Informaticae (2010)

Keyphrases

petri net
petri net model
genetic algorithm
artificial intelligence
knowledge base
description logics
description language
state machines
fuzzy petri net
high level petri nets