| Institute of Informatics>>> Acta Cybernetica>>> Past Issues>>> Volume 15, Number 3, 2002>>> |
 Magyarul
|
The Home Marking Problem and Some Related Concepts
Roxana Melinte, Olivia Oanea, Ioana Olga, and Ferucio Laurentiu Tiplea
Abstract (in LaTeX format)
In this paper we study the {\em home marking problem} for Petri nets, and some related concepts to it like confluence, noetherianity, and state space inclusion. We show that the home marking problem for inhibitor Petri nets is undecidable. We relate then the existence of home markings to confluence and noetherianity and prove that confluent and noetherian Petri nets have an unique home marking. Finally, we define some versions of the state space inclusion problem related to the home marking and sub-marking problems, and discuss their decidability status.
Full text
Available electronic editions: PDF.
Note that full text is available only for papers that are at least 3 years old. For more recent papers only the first page of the paper is provided.
BibTeX entry
@article{Melinte:2002:ActaCybernetica,author = {Roxana Melinte and Olivia Oanea and Ioana Olga and Ferucio Lauren\c{t}iu \c{T}iplea},
title = {The Home Marking Problem and Some Related Concepts},
journal = {Acta Cybernetica},
year = {2002},
volume = {15},
pages = {467--478},
number = {3},
abstract = {In this paper we study the {\em home marking problem} for Petri nets, and some related concepts to it like confluence, noetherianity, and state space inclusion. We show that the home marking problem for inhibitor Petri nets is undecidable. We relate then the existence of home markings to confluence and noetherianity and prove that confluent and noetherian Petri nets have an unique home marking. Finally, we define some versions of the state space inclusion problem related to the home marking and sub-marking problems, and discuss their decidability status.}
}