Matches in SemOpenAlex for { <https://semopenalex.org/work/W4307165717> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W4307165717 endingPage "196" @default.
- W4307165717 startingPage "167" @default.
- W4307165717 abstract "In Petri net synthesis we ask whether a given transition system A can be implemented by a Petri net N. Depending on the level of accuracy, there are three ways how N can implement A: an embedding, the least accurate implementation, preserves only the diversity of states of A; a language simulation already preserves exactly the language of A; a realization, the most accurate implementation, realizes the behavior of A exactly. However, whatever the sought implementation, a corresponding net does not always exist. In this case, it was suggested to modify the input behavior – of course as little as possible. Since transition systems consist of states, events and edges, these components appear as a natural choice for modifications. In this paper we show that the task of converting an unimplementable transition system into an implementable one by removing as few states or events or edges as possible is NP-complete –regardless of what type of implementation we are aiming for; we also show that the corresponding parameterized problems are W[2]-hard, where the number of removed components is considered as the parameter; finally, we show there is no c-approximation algorithm (with a polynomial running time) for neither of these problems, for every constant c ≥ 1." @default.
- W4307165717 created "2022-10-29" @default.
- W4307165717 creator A5047035944 @default.
- W4307165717 creator A5079564039 @default.
- W4307165717 date "2022-10-19" @default.
- W4307165717 modified "2023-09-27" @default.
- W4307165717 title "Some Basic Techniques Allowing Petri Net Synthesis: Complexity and Algorithmic Issues" @default.
- W4307165717 doi "https://doi.org/10.3233/fi-222136" @default.
- W4307165717 hasPublicationYear "2022" @default.
- W4307165717 type Work @default.
- W4307165717 citedByCount "0" @default.
- W4307165717 crossrefType "journal-article" @default.
- W4307165717 hasAuthorship W4307165717A5047035944 @default.
- W4307165717 hasAuthorship W4307165717A5079564039 @default.
- W4307165717 hasBestOaLocation W43071657172 @default.
- W4307165717 hasConcept C105795698 @default.
- W4307165717 hasConcept C11413529 @default.
- W4307165717 hasConcept C134306372 @default.
- W4307165717 hasConcept C14166107 @default.
- W4307165717 hasConcept C154945302 @default.
- W4307165717 hasConcept C162324750 @default.
- W4307165717 hasConcept C165464430 @default.
- W4307165717 hasConcept C187736073 @default.
- W4307165717 hasConcept C197551870 @default.
- W4307165717 hasConcept C199360897 @default.
- W4307165717 hasConcept C2524010 @default.
- W4307165717 hasConcept C2777027219 @default.
- W4307165717 hasConcept C2780451532 @default.
- W4307165717 hasConcept C2781089630 @default.
- W4307165717 hasConcept C311688 @default.
- W4307165717 hasConcept C33923547 @default.
- W4307165717 hasConcept C38677869 @default.
- W4307165717 hasConcept C41008148 @default.
- W4307165717 hasConcept C41608201 @default.
- W4307165717 hasConcept C80444323 @default.
- W4307165717 hasConcept C90119067 @default.
- W4307165717 hasConceptScore W4307165717C105795698 @default.
- W4307165717 hasConceptScore W4307165717C11413529 @default.
- W4307165717 hasConceptScore W4307165717C134306372 @default.
- W4307165717 hasConceptScore W4307165717C14166107 @default.
- W4307165717 hasConceptScore W4307165717C154945302 @default.
- W4307165717 hasConceptScore W4307165717C162324750 @default.
- W4307165717 hasConceptScore W4307165717C165464430 @default.
- W4307165717 hasConceptScore W4307165717C187736073 @default.
- W4307165717 hasConceptScore W4307165717C197551870 @default.
- W4307165717 hasConceptScore W4307165717C199360897 @default.
- W4307165717 hasConceptScore W4307165717C2524010 @default.
- W4307165717 hasConceptScore W4307165717C2777027219 @default.
- W4307165717 hasConceptScore W4307165717C2780451532 @default.
- W4307165717 hasConceptScore W4307165717C2781089630 @default.
- W4307165717 hasConceptScore W4307165717C311688 @default.
- W4307165717 hasConceptScore W4307165717C33923547 @default.
- W4307165717 hasConceptScore W4307165717C38677869 @default.
- W4307165717 hasConceptScore W4307165717C41008148 @default.
- W4307165717 hasConceptScore W4307165717C41608201 @default.
- W4307165717 hasConceptScore W4307165717C80444323 @default.
- W4307165717 hasConceptScore W4307165717C90119067 @default.
- W4307165717 hasIssue "2-4" @default.
- W4307165717 hasLocation W43071657171 @default.
- W4307165717 hasLocation W43071657172 @default.
- W4307165717 hasOpenAccess W4307165717 @default.
- W4307165717 hasPrimaryLocation W43071657171 @default.
- W4307165717 hasRelatedWork W1491110659 @default.
- W4307165717 hasRelatedWork W1493441784 @default.
- W4307165717 hasRelatedWork W1567502562 @default.
- W4307165717 hasRelatedWork W2068770392 @default.
- W4307165717 hasRelatedWork W2095640029 @default.
- W4307165717 hasRelatedWork W2126315937 @default.
- W4307165717 hasRelatedWork W2141183298 @default.
- W4307165717 hasRelatedWork W2148232404 @default.
- W4307165717 hasRelatedWork W2350551277 @default.
- W4307165717 hasRelatedWork W2492983430 @default.
- W4307165717 hasVolume "187" @default.
- W4307165717 isParatext "false" @default.
- W4307165717 isRetracted "false" @default.
- W4307165717 workType "article" @default.