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)
Preview |
Cikk, tanulmány, mű
cybernetica_015_numb_003_467-478.pdf Download (723kB) | Preview |
Abstract
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: | http://acta.bibl.u-szeged.hu/38513/ |
| 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 |
| URI: | http://acta.bibl.u-szeged.hu/id/eprint/12689 |
Actions (login required)
 |
View Item |
