The home marking problem and some related concepts
| dc.contributor.author | Melinte, Roxana | |
| dc.contributor.author | Oanea, Olivia | |
| dc.contributor.author | Olga, Ioana | |
| dc.contributor.author | Ţiplea Laurenţiu, Ferucio | |
| dc.contributor.editor | Desel, Jörg | |
| dc.contributor.editor | Weske, Mathias | |
| dc.date.accessioned | 2019-11-14T12:47:26Z | |
| dc.date.available | 2019-11-14T12:47:26Z | |
| dc.date.issued | 2002 | |
| dc.description.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. | en |
| dc.identifier.isbn | 3-88579-350-4 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/30159 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | Promise 2002 – Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-21 | |
| dc.title | The home marking problem and some related concepts | en |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 115 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 104 | |
| gi.conference.date | 9.-11. Oktober 2002 | |
| gi.conference.location | Potsdam | |
| gi.conference.sessiontitle | Regular Research Papers |
Dateien
Originalbündel
1 - 1 von 1
Lade...
- Name:
- GI-Proceedings.21-11.pdf
- Größe:
- 128.19 KB
- Format:
- Adobe Portable Document Format