Matches in SemOpenAlex for { <https://semopenalex.org/work/W2084570980> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2084570980 endingPage "104" @default.
- W2084570980 startingPage "85" @default.
- W2084570980 abstract "In this paper, we show that (1) the question to decide whether a given Petri net is consistent, Mo-reversible or live is reduced to the reachability problem in a unified manner, (2) the reachability problem for Petri nets is equivalent to the equality problem and the inclusion problem for the sets of all firing sequences of two Petri nets, (3) the equality problem for the sets of firing sequences of two Petri nets with only two unbounded places under homomorphism is undecidable, (4) the coverability and reachability problems are undecidable for generalized Petri nets in which a distinguished transition has priority over the other transitions, and (5) the reachability problem is undecidable for generalized Petri nets in which some transitions can reset a certain place to zero marking." @default.
- W2084570980 created "2016-06-24" @default.
- W2084570980 creator A5027169593 @default.
- W2084570980 creator A5046097382 @default.
- W2084570980 date "1976-10-01" @default.
- W2084570980 modified "2023-09-23" @default.
- W2084570980 title "Some decision problems related to the reachability problem for Petri nets" @default.
- W2084570980 cites W2106001218 @default.
- W2084570980 cites W2534716737 @default.
- W2084570980 cites W2540103187 @default.
- W2084570980 cites W4234470661 @default.
- W2084570980 doi "https://doi.org/10.1016/0304-3975(76)90067-0" @default.
- W2084570980 hasPublicationYear "1976" @default.
- W2084570980 type Work @default.
- W2084570980 sameAs 2084570980 @default.
- W2084570980 citedByCount "92" @default.
- W2084570980 countsByYear W20845709802012 @default.
- W2084570980 countsByYear W20845709802013 @default.
- W2084570980 countsByYear W20845709802014 @default.
- W2084570980 countsByYear W20845709802015 @default.
- W2084570980 countsByYear W20845709802016 @default.
- W2084570980 countsByYear W20845709802017 @default.
- W2084570980 countsByYear W20845709802018 @default.
- W2084570980 countsByYear W20845709802019 @default.
- W2084570980 countsByYear W20845709802020 @default.
- W2084570980 countsByYear W20845709802021 @default.
- W2084570980 countsByYear W20845709802022 @default.
- W2084570980 countsByYear W20845709802023 @default.
- W2084570980 crossrefType "journal-article" @default.
- W2084570980 hasAuthorship W2084570980A5027169593 @default.
- W2084570980 hasAuthorship W2084570980A5046097382 @default.
- W2084570980 hasConcept C11413529 @default.
- W2084570980 hasConcept C115988155 @default.
- W2084570980 hasConcept C118615104 @default.
- W2084570980 hasConcept C136155141 @default.
- W2084570980 hasConcept C136643341 @default.
- W2084570980 hasConcept C153269930 @default.
- W2084570980 hasConcept C192034797 @default.
- W2084570980 hasConcept C197551870 @default.
- W2084570980 hasConcept C2777669093 @default.
- W2084570980 hasConcept C33923547 @default.
- W2084570980 hasConcept C38677869 @default.
- W2084570980 hasConcept C41008148 @default.
- W2084570980 hasConcept C80444323 @default.
- W2084570980 hasConceptScore W2084570980C11413529 @default.
- W2084570980 hasConceptScore W2084570980C115988155 @default.
- W2084570980 hasConceptScore W2084570980C118615104 @default.
- W2084570980 hasConceptScore W2084570980C136155141 @default.
- W2084570980 hasConceptScore W2084570980C136643341 @default.
- W2084570980 hasConceptScore W2084570980C153269930 @default.
- W2084570980 hasConceptScore W2084570980C192034797 @default.
- W2084570980 hasConceptScore W2084570980C197551870 @default.
- W2084570980 hasConceptScore W2084570980C2777669093 @default.
- W2084570980 hasConceptScore W2084570980C33923547 @default.
- W2084570980 hasConceptScore W2084570980C38677869 @default.
- W2084570980 hasConceptScore W2084570980C41008148 @default.
- W2084570980 hasConceptScore W2084570980C80444323 @default.
- W2084570980 hasIssue "1" @default.
- W2084570980 hasLocation W20845709801 @default.
- W2084570980 hasOpenAccess W2084570980 @default.
- W2084570980 hasPrimaryLocation W20845709801 @default.
- W2084570980 hasRelatedWork W1514194201 @default.
- W2084570980 hasRelatedWork W1543145547 @default.
- W2084570980 hasRelatedWork W1778149536 @default.
- W2084570980 hasRelatedWork W1992428614 @default.
- W2084570980 hasRelatedWork W2056423370 @default.
- W2084570980 hasRelatedWork W2084570980 @default.
- W2084570980 hasRelatedWork W2145580394 @default.
- W2084570980 hasRelatedWork W2341552178 @default.
- W2084570980 hasRelatedWork W2489809986 @default.
- W2084570980 hasRelatedWork W2993657370 @default.
- W2084570980 hasVolume "3" @default.
- W2084570980 isParatext "false" @default.
- W2084570980 isRetracted "false" @default.
- W2084570980 magId "2084570980" @default.
- W2084570980 workType "article" @default.