Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569474185> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W1569474185 endingPage "478" @default.
- W1569474185 startingPage "467" @default.
- W1569474185 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." @default.
- W1569474185 created "2016-06-24" @default.
- W1569474185 creator A5015310941 @default.
- W1569474185 creator A5015622908 @default.
- W1569474185 creator A5031465885 @default.
- W1569474185 creator A5082748103 @default.
- W1569474185 date "2002-09-01" @default.
- W1569474185 modified "2023-09-23" @default.
- W1569474185 title "The home marking problem and some related concepts" @default.
- W1569474185 cites W128453691 @default.
- W1569474185 cites W1496412704 @default.
- W1569474185 cites W1535002487 @default.
- W1569474185 cites W1551214605 @default.
- W1569474185 cites W1567452221 @default.
- W1569474185 cites W2061970672 @default.
- W1569474185 cites W2068247526 @default.
- W1569474185 cites W2072414289 @default.
- W1569474185 cites W2113355185 @default.
- W1569474185 cites W2130225463 @default.
- W1569474185 hasPublicationYear "2002" @default.
- W1569474185 type Work @default.
- W1569474185 sameAs 1569474185 @default.
- W1569474185 citedByCount "3" @default.
- W1569474185 crossrefType "journal-article" @default.
- W1569474185 hasAuthorship W1569474185A5015310941 @default.
- W1569474185 hasAuthorship W1569474185A5015622908 @default.
- W1569474185 hasAuthorship W1569474185A5031465885 @default.
- W1569474185 hasAuthorship W1569474185A5082748103 @default.
- W1569474185 hasConcept C105795698 @default.
- W1569474185 hasConcept C111919701 @default.
- W1569474185 hasConcept C118615104 @default.
- W1569474185 hasConcept C136119220 @default.
- W1569474185 hasConcept C146763376 @default.
- W1569474185 hasConcept C153269930 @default.
- W1569474185 hasConcept C192034797 @default.
- W1569474185 hasConcept C199360897 @default.
- W1569474185 hasConcept C202444582 @default.
- W1569474185 hasConcept C2778572836 @default.
- W1569474185 hasConcept C2779057376 @default.
- W1569474185 hasConcept C33923547 @default.
- W1569474185 hasConcept C38677869 @default.
- W1569474185 hasConcept C41008148 @default.
- W1569474185 hasConcept C48103436 @default.
- W1569474185 hasConcept C54355233 @default.
- W1569474185 hasConcept C72434380 @default.
- W1569474185 hasConcept C77906462 @default.
- W1569474185 hasConcept C80444323 @default.
- W1569474185 hasConcept C86803240 @default.
- W1569474185 hasConceptScore W1569474185C105795698 @default.
- W1569474185 hasConceptScore W1569474185C111919701 @default.
- W1569474185 hasConceptScore W1569474185C118615104 @default.
- W1569474185 hasConceptScore W1569474185C136119220 @default.
- W1569474185 hasConceptScore W1569474185C146763376 @default.
- W1569474185 hasConceptScore W1569474185C153269930 @default.
- W1569474185 hasConceptScore W1569474185C192034797 @default.
- W1569474185 hasConceptScore W1569474185C199360897 @default.
- W1569474185 hasConceptScore W1569474185C202444582 @default.
- W1569474185 hasConceptScore W1569474185C2778572836 @default.
- W1569474185 hasConceptScore W1569474185C2779057376 @default.
- W1569474185 hasConceptScore W1569474185C33923547 @default.
- W1569474185 hasConceptScore W1569474185C38677869 @default.
- W1569474185 hasConceptScore W1569474185C41008148 @default.
- W1569474185 hasConceptScore W1569474185C48103436 @default.
- W1569474185 hasConceptScore W1569474185C54355233 @default.
- W1569474185 hasConceptScore W1569474185C72434380 @default.
- W1569474185 hasConceptScore W1569474185C77906462 @default.
- W1569474185 hasConceptScore W1569474185C80444323 @default.
- W1569474185 hasConceptScore W1569474185C86803240 @default.
- W1569474185 hasIssue "3" @default.
- W1569474185 hasLocation W15694741851 @default.
- W1569474185 hasOpenAccess W1569474185 @default.
- W1569474185 hasPrimaryLocation W15694741851 @default.
- W1569474185 hasRelatedWork W1482433701 @default.
- W1569474185 hasRelatedWork W1514194201 @default.
- W1569474185 hasRelatedWork W151588920 @default.
- W1569474185 hasRelatedWork W1531262057 @default.
- W1569474185 hasRelatedWork W1558859005 @default.
- W1569474185 hasRelatedWork W1582579757 @default.
- W1569474185 hasRelatedWork W1586934242 @default.
- W1569474185 hasRelatedWork W1897234491 @default.
- W1569474185 hasRelatedWork W1897277602 @default.
- W1569474185 hasRelatedWork W1998690233 @default.
- W1569474185 hasRelatedWork W2073941363 @default.
- W1569474185 hasRelatedWork W2083567135 @default.
- W1569474185 hasRelatedWork W2084570980 @default.
- W1569474185 hasRelatedWork W2086631659 @default.
- W1569474185 hasRelatedWork W2092311420 @default.
- W1569474185 hasRelatedWork W2109619776 @default.
- W1569474185 hasRelatedWork W2132300515 @default.
- W1569474185 hasRelatedWork W2302192021 @default.
- W1569474185 hasRelatedWork W3012172783 @default.
- W1569474185 hasRelatedWork W63444886 @default.
- W1569474185 hasVolume "15" @default.
- W1569474185 isParatext "false" @default.
- W1569474185 isRetracted "false" @default.
- W1569474185 magId "1569474185" @default.
- W1569474185 workType "article" @default.