Matches in SemOpenAlex for { <https://semopenalex.org/work/W2982369643> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2982369643 abstract "In previous studies, several methods have been developed to synthesise Petri nets from labelled transition systems (LTS), often with structural constraints on the net and on the LTS. In this paper, we focus on Weighted Marked Graphs (WMGs) and Choice-Free (CF) Petri nets, two weighted subclasses of nets in which each place has at most one output; WMGs have the additional constraint that each place has at most one input. We provide new conditions for checking the existence of a WMG whose reachability graph is isomorphic to a given circular LTS, i.e. forming a single cycle; we develop two new polynomial-time synthesis algorithms dedicated to these constraints: the first one is LTS-based (classical synthesis) while the second one is vector-based (weak synthesis) and more efficient in general. We show that our conditions also apply to CF synthesis in the case of three-letter alphabets, and we discuss the difficulties in extending them to CF synthesis over arbitrary alphabets." @default.
- W2982369643 created "2019-11-08" @default.
- W2982369643 creator A5008852752 @default.
- W2982369643 creator A5079564039 @default.
- W2982369643 creator A5090287624 @default.
- W2982369643 date "2019-11-05" @default.
- W2982369643 modified "2023-09-27" @default.
- W2982369643 title "Efficient Synthesis of Weighted Marked Graphs with Circular Reachability Graph, and Beyond" @default.
- W2982369643 cites W1567452221 @default.
- W2982369643 cites W175714733 @default.
- W2982369643 cites W1833736042 @default.
- W2982369643 cites W1888236768 @default.
- W2982369643 cites W1970896297 @default.
- W2982369643 cites W1993742654 @default.
- W2982369643 cites W1996109622 @default.
- W2982369643 cites W2032749662 @default.
- W2982369643 cites W2041935783 @default.
- W2982369643 cites W2060105961 @default.
- W2982369643 cites W2060514783 @default.
- W2982369643 cites W2072389619 @default.
- W2982369643 cites W2083948648 @default.
- W2982369643 cites W2153073816 @default.
- W2982369643 cites W2210149873 @default.
- W2982369643 cites W2260138718 @default.
- W2982369643 cites W2400153557 @default.
- W2982369643 cites W2512939597 @default.
- W2982369643 cites W2547161243 @default.
- W2982369643 cites W2574025104 @default.
- W2982369643 cites W2609291594 @default.
- W2982369643 cites W2611147814 @default.
- W2982369643 cites W2763847243 @default.
- W2982369643 cites W2767865743 @default.
- W2982369643 cites W2769408352 @default.
- W2982369643 cites W2799576071 @default.
- W2982369643 cites W2799745976 @default.
- W2982369643 cites W2854702062 @default.
- W2982369643 cites W2893236351 @default.
- W2982369643 cites W2917245105 @default.
- W2982369643 cites W2921100251 @default.
- W2982369643 cites W2949187135 @default.
- W2982369643 cites W2955458707 @default.
- W2982369643 cites W2971541266 @default.
- W2982369643 cites W2979960897 @default.
- W2982369643 cites W2526626638 @default.
- W2982369643 cites W2611001520 @default.
- W2982369643 hasPublicationYear "2019" @default.
- W2982369643 type Work @default.
- W2982369643 sameAs 2982369643 @default.
- W2982369643 citedByCount "0" @default.
- W2982369643 crossrefType "posted-content" @default.
- W2982369643 hasAuthorship W2982369643A5008852752 @default.
- W2982369643 hasAuthorship W2982369643A5079564039 @default.
- W2982369643 hasAuthorship W2982369643A5090287624 @default.
- W2982369643 hasBestOaLocation W29823696431 @default.
- W2982369643 hasConcept C11413529 @default.
- W2982369643 hasConcept C118615104 @default.
- W2982369643 hasConcept C120665830 @default.
- W2982369643 hasConcept C121332964 @default.
- W2982369643 hasConcept C132525143 @default.
- W2982369643 hasConcept C136643341 @default.
- W2982369643 hasConcept C192209626 @default.
- W2982369643 hasConcept C33923547 @default.
- W2982369643 hasConcept C38677869 @default.
- W2982369643 hasConcept C41008148 @default.
- W2982369643 hasConcept C80444323 @default.
- W2982369643 hasConceptScore W2982369643C11413529 @default.
- W2982369643 hasConceptScore W2982369643C118615104 @default.
- W2982369643 hasConceptScore W2982369643C120665830 @default.
- W2982369643 hasConceptScore W2982369643C121332964 @default.
- W2982369643 hasConceptScore W2982369643C132525143 @default.
- W2982369643 hasConceptScore W2982369643C136643341 @default.
- W2982369643 hasConceptScore W2982369643C192209626 @default.
- W2982369643 hasConceptScore W2982369643C33923547 @default.
- W2982369643 hasConceptScore W2982369643C38677869 @default.
- W2982369643 hasConceptScore W2982369643C41008148 @default.
- W2982369643 hasConceptScore W2982369643C80444323 @default.
- W2982369643 hasLocation W29823696431 @default.
- W2982369643 hasOpenAccess W2982369643 @default.
- W2982369643 hasPrimaryLocation W29823696431 @default.
- W2982369643 hasRelatedWork W1482993605 @default.
- W2982369643 hasRelatedWork W1522386340 @default.
- W2982369643 hasRelatedWork W1535842141 @default.
- W2982369643 hasRelatedWork W2006361389 @default.
- W2982369643 hasRelatedWork W2021454511 @default.
- W2982369643 hasRelatedWork W2103390669 @default.
- W2982369643 hasRelatedWork W2162086683 @default.
- W2982369643 hasRelatedWork W2171468557 @default.
- W2982369643 hasRelatedWork W2350551277 @default.
- W2982369643 hasRelatedWork W333619069 @default.
- W2982369643 isParatext "false" @default.
- W2982369643 isRetracted "false" @default.
- W2982369643 magId "2982369643" @default.
- W2982369643 workType "article" @default.