Login / Signup

State space analysis of Petri nets with relation-algebraic methods.

Alexander FronkBritta Kehden
Published in: J. Symb. Comput. (2009)
Keyphrases
  • petri net
  • state space
  • genetic algorithm