Matches in SemOpenAlex for { <https://semopenalex.org/work/W2002246174> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2002246174 abstract "We motivate and study the synthesis of Petri nets. Petri net synthesis can avoid the state exploration problem by guaranteeing the correctness in the Petri net while incrementally expanding the net. For systems specified in Petri nets, this paper proposes a synthesis method. One major advantage of this synthesis technique is that the resultant ordinary Petri net is guaranteed to be structural live. If free choice (FC) (asymmetric choice (AC)) nets are structural live, with some additional constrains, their synthesis net is FC (AC) net and is structural live. Such results release the designer's burden for having to provide different methods for individual properties." @default.
- W2002246174 created "2016-06-24" @default.
- W2002246174 creator A5026967617 @default.
- W2002246174 date "2010-06-01" @default.
- W2002246174 modified "2023-10-18" @default.
- W2002246174 title "A Petri Net Synthesis Method" @default.
- W2002246174 cites W1491461849 @default.
- W2002246174 cites W1492690474 @default.
- W2002246174 cites W1551640017 @default.
- W2002246174 cites W1585036716 @default.
- W2002246174 cites W1589174359 @default.
- W2002246174 cites W1822289477 @default.
- W2002246174 cites W1980926994 @default.
- W2002246174 cites W1994188141 @default.
- W2002246174 cites W1996109622 @default.
- W2002246174 cites W1996467290 @default.
- W2002246174 cites W1997871183 @default.
- W2002246174 cites W2000617766 @default.
- W2002246174 cites W2070595707 @default.
- W2002246174 cites W2089759096 @default.
- W2002246174 cites W2103052726 @default.
- W2002246174 cites W2136337656 @default.
- W2002246174 cites W2158050446 @default.
- W2002246174 cites W2249928624 @default.
- W2002246174 cites W2519114537 @default.
- W2002246174 doi "https://doi.org/10.4304/jnw.5.6.699-707" @default.
- W2002246174 hasPublicationYear "2010" @default.
- W2002246174 type Work @default.
- W2002246174 sameAs 2002246174 @default.
- W2002246174 citedByCount "1" @default.
- W2002246174 crossrefType "journal-article" @default.
- W2002246174 hasAuthorship W2002246174A5026967617 @default.
- W2002246174 hasConcept C120314980 @default.
- W2002246174 hasConcept C14166107 @default.
- W2002246174 hasConcept C2524010 @default.
- W2002246174 hasConcept C33923547 @default.
- W2002246174 hasConcept C38677869 @default.
- W2002246174 hasConcept C41008148 @default.
- W2002246174 hasConcept C79403827 @default.
- W2002246174 hasConceptScore W2002246174C120314980 @default.
- W2002246174 hasConceptScore W2002246174C14166107 @default.
- W2002246174 hasConceptScore W2002246174C2524010 @default.
- W2002246174 hasConceptScore W2002246174C33923547 @default.
- W2002246174 hasConceptScore W2002246174C38677869 @default.
- W2002246174 hasConceptScore W2002246174C41008148 @default.
- W2002246174 hasConceptScore W2002246174C79403827 @default.
- W2002246174 hasIssue "6" @default.
- W2002246174 hasLocation W20022461741 @default.
- W2002246174 hasOpenAccess W2002246174 @default.
- W2002246174 hasPrimaryLocation W20022461741 @default.
- W2002246174 hasRelatedWork W1596735499 @default.
- W2002246174 hasRelatedWork W1868979669 @default.
- W2002246174 hasRelatedWork W2168097987 @default.
- W2002246174 hasRelatedWork W2369413271 @default.
- W2002246174 hasRelatedWork W2371623873 @default.
- W2002246174 hasRelatedWork W2394180363 @default.
- W2002246174 hasRelatedWork W2396937908 @default.
- W2002246174 hasRelatedWork W3008621419 @default.
- W2002246174 hasRelatedWork W3022518596 @default.
- W2002246174 hasRelatedWork W30357418 @default.
- W2002246174 hasVolume "5" @default.
- W2002246174 isParatext "false" @default.
- W2002246174 isRetracted "false" @default.
- W2002246174 magId "2002246174" @default.
- W2002246174 workType "article" @default.