Abstract.
A number of problems concerning priority conflict-free Petri nets are investigated in this paper. We show the reachability problem for such Petri nets to be NP-complete. (Using a similar technique, the NP-completeness result applies to the class of priority BPP-nets as well.) As for the boundedness problem, an NP-completeness result is demonstrated for priority conflict-free Petri nets with two types of prioritized transitions. (In contrast, the problem is known to be P-complete for conflict-free Petri nets without priorities.) We also investigate the home state problem, i.e., the problem of determining whether home states exist in a given a Petri net, for conflict-free Petri nets with and without priorities. As it turns out, home states always exist for bounded conflict-free Petri nets without priorities. If an additional liveness constraint is imposed, such Petri nets are guaranteed to be ‘reversible’ (i.e., their initial states are home states). For priority conflict-free Petri nets, being bounded and live is sufficient for the existence of home states. However, if the liveness assumption is dropped, the existence of home states is no longer guaranteed.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received: 1 April 1997 / 8 December 1997
Rights and permissions
About this article
Cite this article
Yen, HC. Priority conflict-free Petri nets. Acta Informatica 35, 673–688 (1998). https://doi.org/10.1007/s002360050138
Issue Date:
DOI: https://doi.org/10.1007/s002360050138