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)
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 |
Tétel nézet |