The home marking problem and some related concepts

Melinte Roxana; Oanea Olivia; Olga Ioana; Ț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]
Előnézet
Cikk, tanulmány, mű
cybernetica_015_numb_003_467-478.pdf

Letöltés (723kB) | Előnézet

Absztrakt (kivonat)

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.

Mű típusa: Cikk, tanulmány, mű
Befoglaló folyóirat/kiadvány címe: Acta cybernetica
Dátum: 2002
Kötet: 15
Szám: 3
ISSN: 0324-721X
Oldalak: pp. 467-478
Nyelv: angol
Kiadás helye: Szeged
Befoglaló mű URL: http://acta.bibl.u-szeged.hu/38513/
Kulcsszavak: Számítástechnika, Kibernetika
Megjegyzések: Bibliogr.: p. 477-478. ; összefoglalás angol nyelven
Szakterület: 01. Természettudományok
01. Természettudományok > 01.02. Számítás- és információtudomány
Feltöltés dátuma: 2016. okt. 15. 12:25
Utolsó módosítás: 2022. jún. 14. 14:45
URI: http://acta.bibl.u-szeged.hu/id/eprint/12689
Bővebben:
Tétel nézet Tétel nézet