Benutzer: Gast  Login
Autor(en):
Ernst W. Mayr; Jeremias Weihmann 
Titel:
Results on Equivalence, Boundedness, Liveness, and Covering Problems of BPP-Petri Nets 
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