Matches in SemOpenAlex for { <https://semopenalex.org/work/W1580879785> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W1580879785 endingPage "25" @default.
- W1580879785 startingPage "13" @default.
- W1580879785 abstract "The paper provides a structural characterisation of the reachable markings of Petri nets in which every transition has exactly one input place. As a corollary, the reachability problem for this class is proved to be NP-complete. Further consequences are: the uniform word problem for commutative context-free grammars is NP-complete; weak-bisimilarity is semidecidable for Basic Parallel Processes." @default.
- W1580879785 created "2016-06-24" @default.
- W1580879785 creator A5090378914 @default.
- W1580879785 date "1997-01-01" @default.
- W1580879785 modified "2023-10-17" @default.
- W1580879785 title "Petri Nets, Commutative Context-Free Grammars, and Basic Parallel Processes" @default.
- W1580879785 cites W143456117 @default.
- W1580879785 cites W1501776715 @default.
- W1580879785 cites W1503973138 @default.
- W1580879785 cites W1598641851 @default.
- W1580879785 cites W1964874178 @default.
- W1580879785 cites W1965551437 @default.
- W1580879785 cites W1971435636 @default.
- W1580879785 cites W2002089154 @default.
- W1580879785 cites W2005312844 @default.
- W1580879785 cites W2021009590 @default.
- W1580879785 cites W2051521505 @default.
- W1580879785 cites W2106557750 @default.
- W1580879785 cites W2148224873 @default.
- W1580879785 cites W2394903686 @default.
- W1580879785 cites W51714471 @default.
- W1580879785 doi "https://doi.org/10.3233/fi-1997-3112" @default.
- W1580879785 hasPublicationYear "1997" @default.
- W1580879785 type Work @default.
- W1580879785 sameAs 1580879785 @default.
- W1580879785 citedByCount "100" @default.
- W1580879785 countsByYear W15808797852012 @default.
- W1580879785 countsByYear W15808797852013 @default.
- W1580879785 countsByYear W15808797852014 @default.
- W1580879785 countsByYear W15808797852015 @default.
- W1580879785 countsByYear W15808797852016 @default.
- W1580879785 countsByYear W15808797852017 @default.
- W1580879785 countsByYear W15808797852018 @default.
- W1580879785 countsByYear W15808797852019 @default.
- W1580879785 countsByYear W15808797852020 @default.
- W1580879785 countsByYear W15808797852022 @default.
- W1580879785 countsByYear W15808797852023 @default.
- W1580879785 crossrefType "journal-article" @default.
- W1580879785 hasAuthorship W1580879785A5090378914 @default.
- W1580879785 hasConcept C118615104 @default.
- W1580879785 hasConcept C125950753 @default.
- W1580879785 hasConcept C134083981 @default.
- W1580879785 hasConcept C136155141 @default.
- W1580879785 hasConcept C151730666 @default.
- W1580879785 hasConcept C154945302 @default.
- W1580879785 hasConcept C183778304 @default.
- W1580879785 hasConcept C197551870 @default.
- W1580879785 hasConcept C199360897 @default.
- W1580879785 hasConcept C27034413 @default.
- W1580879785 hasConcept C2779343474 @default.
- W1580879785 hasConcept C33923547 @default.
- W1580879785 hasConcept C38677869 @default.
- W1580879785 hasConcept C41008148 @default.
- W1580879785 hasConcept C53893814 @default.
- W1580879785 hasConcept C86803240 @default.
- W1580879785 hasConcept C97212296 @default.
- W1580879785 hasConceptScore W1580879785C118615104 @default.
- W1580879785 hasConceptScore W1580879785C125950753 @default.
- W1580879785 hasConceptScore W1580879785C134083981 @default.
- W1580879785 hasConceptScore W1580879785C136155141 @default.
- W1580879785 hasConceptScore W1580879785C151730666 @default.
- W1580879785 hasConceptScore W1580879785C154945302 @default.
- W1580879785 hasConceptScore W1580879785C183778304 @default.
- W1580879785 hasConceptScore W1580879785C197551870 @default.
- W1580879785 hasConceptScore W1580879785C199360897 @default.
- W1580879785 hasConceptScore W1580879785C27034413 @default.
- W1580879785 hasConceptScore W1580879785C2779343474 @default.
- W1580879785 hasConceptScore W1580879785C33923547 @default.
- W1580879785 hasConceptScore W1580879785C38677869 @default.
- W1580879785 hasConceptScore W1580879785C41008148 @default.
- W1580879785 hasConceptScore W1580879785C53893814 @default.
- W1580879785 hasConceptScore W1580879785C86803240 @default.
- W1580879785 hasConceptScore W1580879785C97212296 @default.
- W1580879785 hasIssue "1" @default.
- W1580879785 hasLocation W15808797851 @default.
- W1580879785 hasOpenAccess W1580879785 @default.
- W1580879785 hasPrimaryLocation W15808797851 @default.
- W1580879785 hasRelatedWork W1608157979 @default.
- W1580879785 hasRelatedWork W2019001464 @default.
- W1580879785 hasRelatedWork W2019032507 @default.
- W1580879785 hasRelatedWork W2041988689 @default.
- W1580879785 hasRelatedWork W2067980891 @default.
- W1580879785 hasRelatedWork W2070208002 @default.
- W1580879785 hasRelatedWork W2345119559 @default.
- W1580879785 hasRelatedWork W2403874525 @default.
- W1580879785 hasRelatedWork W24640121 @default.
- W1580879785 hasRelatedWork W37677999 @default.
- W1580879785 hasVolume "31" @default.
- W1580879785 isParatext "false" @default.
- W1580879785 isRetracted "false" @default.
- W1580879785 magId "1580879785" @default.
- W1580879785 workType "article" @default.