Benutzer: Gast  Login
Titel:

Results on Equivalence, Boundedness, Liveness, and Covering Problems of BPP-Petri Nets

Autor(en):
Ernst W. Mayr; Jeremias Weihmann
Abstract:
Yen proposed a construction for a semilinear representation of the reachability set of BPP-Petri nets which can be used to decide the equivalence problem of two BPP-PNs in doubly exponential time. We first address a gap in this construction which therefore does not always represent the reachability set. We propose a solution which is formulated in such a way that a large portion of Yen's construction and proof can be retained, preserving the size of the semilinear representation and the doubly e...     »
Stichworte:
Petri nets; Basic Parallel Processes; communication-free Petri nets; commutative context-free grammars; context-free grammars
Jahr:
2013
Sprache:
en
 BibTeX