Matches in SemOpenAlex for { <https://semopenalex.org/work/W190322477> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W190322477 endingPage "120" @default.
- W190322477 startingPage "96" @default.
- W190322477 abstract "We propose a framework for the specification of infinite state systems based on Petri nets with distinguished may- and must-transitions (called modalities) which specify the allowed and the required behavior of refinements and hence of implementations. For any modal Petri net, we define its generated modal language specification which abstracts away silent transitions. On this basis we consider refinements of modal Petri nets by relating their generated modal language specifications. We show that this refinement relation is decidable if the underlying modal Petri nets are weakly deterministic. We also show that the membership problem for the class of weakly deterministic modal Petri nets is decidable. As an important application scenario of our approach we consider I/O-Petri nets and their asynchronous composition which typically leads to an infinite state system." @default.
- W190322477 created "2016-06-24" @default.
- W190322477 creator A5006881035 @default.
- W190322477 creator A5055128003 @default.
- W190322477 creator A5060316142 @default.
- W190322477 date "2012-01-01" @default.
- W190322477 modified "2023-10-06" @default.
- W190322477 title "Refinement and Asynchronous Composition of Modal Petri Nets" @default.
- W190322477 cites W1532760414 @default.
- W190322477 cites W1537517911 @default.
- W190322477 cites W1557306624 @default.
- W190322477 cites W1564626116 @default.
- W190322477 cites W1575098094 @default.
- W190322477 cites W1608677350 @default.
- W190322477 cites W1667182944 @default.
- W190322477 cites W1756169151 @default.
- W190322477 cites W182908145 @default.
- W190322477 cites W1959890433 @default.
- W190322477 cites W1964874178 @default.
- W190322477 cites W1986385780 @default.
- W190322477 cites W2011495892 @default.
- W190322477 cites W2025970201 @default.
- W190322477 cites W2062995800 @default.
- W190322477 cites W2098940398 @default.
- W190322477 cites W2120514221 @default.
- W190322477 cites W2914011863 @default.
- W190322477 doi "https://doi.org/10.1007/978-3-642-29072-5_4" @default.
- W190322477 hasPublicationYear "2012" @default.
- W190322477 type Work @default.
- W190322477 sameAs 190322477 @default.
- W190322477 citedByCount "11" @default.
- W190322477 countsByYear W1903224772012 @default.
- W190322477 countsByYear W1903224772013 @default.
- W190322477 countsByYear W1903224772014 @default.
- W190322477 countsByYear W1903224772016 @default.
- W190322477 countsByYear W1903224772017 @default.
- W190322477 countsByYear W1903224772018 @default.
- W190322477 countsByYear W1903224772019 @default.
- W190322477 crossrefType "book-chapter" @default.
- W190322477 hasAuthorship W190322477A5006881035 @default.
- W190322477 hasAuthorship W190322477A5055128003 @default.
- W190322477 hasAuthorship W190322477A5060316142 @default.
- W190322477 hasBestOaLocation W1903224772 @default.
- W190322477 hasConcept C138885662 @default.
- W190322477 hasConcept C151319957 @default.
- W190322477 hasConcept C159985019 @default.
- W190322477 hasConcept C192562407 @default.
- W190322477 hasConcept C199360897 @default.
- W190322477 hasConcept C31258907 @default.
- W190322477 hasConcept C38677869 @default.
- W190322477 hasConcept C40231798 @default.
- W190322477 hasConcept C41008148 @default.
- W190322477 hasConcept C41895202 @default.
- W190322477 hasConcept C71139939 @default.
- W190322477 hasConceptScore W190322477C138885662 @default.
- W190322477 hasConceptScore W190322477C151319957 @default.
- W190322477 hasConceptScore W190322477C159985019 @default.
- W190322477 hasConceptScore W190322477C192562407 @default.
- W190322477 hasConceptScore W190322477C199360897 @default.
- W190322477 hasConceptScore W190322477C31258907 @default.
- W190322477 hasConceptScore W190322477C38677869 @default.
- W190322477 hasConceptScore W190322477C40231798 @default.
- W190322477 hasConceptScore W190322477C41008148 @default.
- W190322477 hasConceptScore W190322477C41895202 @default.
- W190322477 hasConceptScore W190322477C71139939 @default.
- W190322477 hasLocation W1903224771 @default.
- W190322477 hasLocation W1903224772 @default.
- W190322477 hasOpenAccess W190322477 @default.
- W190322477 hasPrimaryLocation W1903224771 @default.
- W190322477 hasRelatedWork W1431947976 @default.
- W190322477 hasRelatedWork W1536431957 @default.
- W190322477 hasRelatedWork W1559884866 @default.
- W190322477 hasRelatedWork W1607611520 @default.
- W190322477 hasRelatedWork W2127551920 @default.
- W190322477 hasRelatedWork W2135396778 @default.
- W190322477 hasRelatedWork W2387721265 @default.
- W190322477 hasRelatedWork W3008621419 @default.
- W190322477 hasRelatedWork W4238044053 @default.
- W190322477 hasRelatedWork W4243252198 @default.
- W190322477 isParatext "false" @default.
- W190322477 isRetracted "false" @default.
- W190322477 magId "190322477" @default.
- W190322477 workType "book-chapter" @default.