The home marking problem and some related concepts

Melinte Roxana and Oanea Olivia and Olga Ioana and Țiplea Ferucio Laurenţiu: The home marking problem and some related concepts. In: Acta cybernetica, (15) 3. pp. 467-478. (2002)

[thumbnail of cybernetica_015_numb_003_467-478.pdf]
Cikk, tanulmány, mű

Download (723kB) | Preview


In this paper we study the 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.

Item Type: Article
Journal or Publication Title: Acta cybernetica
Date: 2002
Volume: 15
Number: 3
ISSN: 0324-721X
Page Range: pp. 467-478
Language: English
Place of Publication: Szeged
Related URLs:
Uncontrolled Keywords: Számítástechnika, Kibernetika
Additional Information: Bibliogr.: p. 477-478. ; összefoglalás angol nyelven
Subjects: 01. Natural sciences
01. Natural sciences > 01.02. Computer and information sciences
Date Deposited: 2016. Oct. 15. 12:25
Last Modified: 2022. Jun. 14. 14:45

Actions (login required)

View Item View Item