Matches in SemOpenAlex for { <https://semopenalex.org/work/W4288087516> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W4288087516 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.
- W4288087516 created "2022-07-28" @default.
- W4288087516 creator A5009125557 @default.
- W4288087516 creator A5079564039 @default.
- W4288087516 creator A5090287624 @default.
- W4288087516 date "2019-10-31" @default.
- W4288087516 modified "2023-09-29" @default.
- W4288087516 title "Efficient Synthesis of Weighted Marked Graphs with Circular Reachability Graph, and Beyond" @default.
- W4288087516 doi "https://doi.org/10.48550/arxiv.1910.14387" @default.
- W4288087516 hasPublicationYear "2019" @default.
- W4288087516 type Work @default.
- W4288087516 citedByCount "0" @default.
- W4288087516 crossrefType "posted-content" @default.
- W4288087516 hasAuthorship W4288087516A5009125557 @default.
- W4288087516 hasAuthorship W4288087516A5079564039 @default.
- W4288087516 hasAuthorship W4288087516A5090287624 @default.
- W4288087516 hasBestOaLocation W42880875161 @default.
- W4288087516 hasConcept C11413529 @default.
- W4288087516 hasConcept C118615104 @default.
- W4288087516 hasConcept C120665830 @default.
- W4288087516 hasConcept C121332964 @default.
- W4288087516 hasConcept C132525143 @default.
- W4288087516 hasConcept C136643341 @default.
- W4288087516 hasConcept C192209626 @default.
- W4288087516 hasConcept C197551870 @default.
- W4288087516 hasConcept C33923547 @default.
- W4288087516 hasConcept C38677869 @default.
- W4288087516 hasConcept C41008148 @default.
- W4288087516 hasConcept C80444323 @default.
- W4288087516 hasConceptScore W4288087516C11413529 @default.
- W4288087516 hasConceptScore W4288087516C118615104 @default.
- W4288087516 hasConceptScore W4288087516C120665830 @default.
- W4288087516 hasConceptScore W4288087516C121332964 @default.
- W4288087516 hasConceptScore W4288087516C132525143 @default.
- W4288087516 hasConceptScore W4288087516C136643341 @default.
- W4288087516 hasConceptScore W4288087516C192209626 @default.
- W4288087516 hasConceptScore W4288087516C197551870 @default.
- W4288087516 hasConceptScore W4288087516C33923547 @default.
- W4288087516 hasConceptScore W4288087516C38677869 @default.
- W4288087516 hasConceptScore W4288087516C41008148 @default.
- W4288087516 hasConceptScore W4288087516C80444323 @default.
- W4288087516 hasLocation W42880875161 @default.
- W4288087516 hasOpenAccess W4288087516 @default.
- W4288087516 hasPrimaryLocation W42880875161 @default.
- W4288087516 hasRelatedWork W1482993605 @default.
- W4288087516 hasRelatedWork W2006361389 @default.
- W4288087516 hasRelatedWork W2095603938 @default.
- W4288087516 hasRelatedWork W2171468557 @default.
- W4288087516 hasRelatedWork W2350551277 @default.
- W4288087516 hasRelatedWork W2365314561 @default.
- W4288087516 hasRelatedWork W2740487895 @default.
- W4288087516 hasRelatedWork W2923641741 @default.
- W4288087516 hasRelatedWork W4287640221 @default.
- W4288087516 hasRelatedWork W2160032286 @default.
- W4288087516 isParatext "false" @default.
- W4288087516 isRetracted "false" @default.
- W4288087516 workType "article" @default.