Matches in SemOpenAlex for { <https://semopenalex.org/work/W2963904125> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2963904125 endingPage "98" @default.
- W2963904125 startingPage "77" @default.
- W2963904125 abstract "We provided (PNSE'2014) expressions for choice nets having choice property which makes the nets direct representable. In a recent work (PNSE'2016), we gave equivalent syntax for a larger class of choice nets obtained by dropping distributed choice property. In both these works, the classes of choice nets were restricted by a product condition on the set of final markings. In this paper we do away with this restriction and give expressions for the resultant classes of nets which correspond to free choice synchronous products and Zielonka automata. For choice nets with distributed choice property, we give an alternative characterization using properties checkable in polynomial time. Free choice nets we consider are 1-bounded, S-coverable, and are labelled with distributed alphabets, where S-components of the associated S-cover respect the given alphabet distribution." @default.
- W2963904125 created "2019-07-30" @default.
- W2963904125 creator A5076083645 @default.
- W2963904125 date "2019-07-02" @default.
- W2963904125 modified "2023-09-27" @default.
- W2963904125 title "Kleene Theorems for Free Choice Nets Labelled with Distributed Alphabets" @default.
- W2963904125 cites W1551214605 @default.
- W2963904125 cites W2006648494 @default.
- W2963904125 cites W2067131306 @default.
- W2963904125 cites W2068247526 @default.
- W2963904125 cites W2154639408 @default.
- W2963904125 cites W2156429182 @default.
- W2963904125 cites W2176357470 @default.
- W2963904125 cites W2394639594 @default.
- W2963904125 cites W2400524903 @default.
- W2963904125 cites W84232747 @default.
- W2963904125 cites W1525435304 @default.
- W2963904125 hasPublicationYear "2019" @default.
- W2963904125 type Work @default.
- W2963904125 sameAs 2963904125 @default.
- W2963904125 citedByCount "0" @default.
- W2963904125 crossrefType "journal-article" @default.
- W2963904125 hasAuthorship W2963904125A5076083645 @default.
- W2963904125 hasConcept C111472728 @default.
- W2963904125 hasConcept C112505250 @default.
- W2963904125 hasConcept C112876837 @default.
- W2963904125 hasConcept C114614502 @default.
- W2963904125 hasConcept C118615104 @default.
- W2963904125 hasConcept C134306372 @default.
- W2963904125 hasConcept C138885662 @default.
- W2963904125 hasConcept C14166107 @default.
- W2963904125 hasConcept C144237770 @default.
- W2963904125 hasConcept C154945302 @default.
- W2963904125 hasConcept C177264268 @default.
- W2963904125 hasConcept C189352744 @default.
- W2963904125 hasConcept C189950617 @default.
- W2963904125 hasConcept C199360897 @default.
- W2963904125 hasConcept C20656852 @default.
- W2963904125 hasConcept C2524010 @default.
- W2963904125 hasConcept C2777212361 @default.
- W2963904125 hasConcept C33923547 @default.
- W2963904125 hasConcept C34388435 @default.
- W2963904125 hasConcept C41008148 @default.
- W2963904125 hasConcept C41895202 @default.
- W2963904125 hasConcept C60048249 @default.
- W2963904125 hasConcept C80444323 @default.
- W2963904125 hasConcept C90673727 @default.
- W2963904125 hasConceptScore W2963904125C111472728 @default.
- W2963904125 hasConceptScore W2963904125C112505250 @default.
- W2963904125 hasConceptScore W2963904125C112876837 @default.
- W2963904125 hasConceptScore W2963904125C114614502 @default.
- W2963904125 hasConceptScore W2963904125C118615104 @default.
- W2963904125 hasConceptScore W2963904125C134306372 @default.
- W2963904125 hasConceptScore W2963904125C138885662 @default.
- W2963904125 hasConceptScore W2963904125C14166107 @default.
- W2963904125 hasConceptScore W2963904125C144237770 @default.
- W2963904125 hasConceptScore W2963904125C154945302 @default.
- W2963904125 hasConceptScore W2963904125C177264268 @default.
- W2963904125 hasConceptScore W2963904125C189352744 @default.
- W2963904125 hasConceptScore W2963904125C189950617 @default.
- W2963904125 hasConceptScore W2963904125C199360897 @default.
- W2963904125 hasConceptScore W2963904125C20656852 @default.
- W2963904125 hasConceptScore W2963904125C2524010 @default.
- W2963904125 hasConceptScore W2963904125C2777212361 @default.
- W2963904125 hasConceptScore W2963904125C33923547 @default.
- W2963904125 hasConceptScore W2963904125C34388435 @default.
- W2963904125 hasConceptScore W2963904125C41008148 @default.
- W2963904125 hasConceptScore W2963904125C41895202 @default.
- W2963904125 hasConceptScore W2963904125C60048249 @default.
- W2963904125 hasConceptScore W2963904125C80444323 @default.
- W2963904125 hasConceptScore W2963904125C90673727 @default.
- W2963904125 hasLocation W29639041251 @default.
- W2963904125 hasOpenAccess W2963904125 @default.
- W2963904125 hasPrimaryLocation W29639041251 @default.
- W2963904125 hasRelatedWork W1531378138 @default.
- W2963904125 hasRelatedWork W1812692191 @default.
- W2963904125 hasRelatedWork W2002690977 @default.
- W2963904125 hasRelatedWork W2006337571 @default.
- W2963904125 hasRelatedWork W2039309162 @default.
- W2963904125 hasRelatedWork W2046570357 @default.
- W2963904125 hasRelatedWork W2079179697 @default.
- W2963904125 hasRelatedWork W2135016001 @default.
- W2963904125 hasRelatedWork W2197089900 @default.
- W2963904125 hasRelatedWork W2219723783 @default.
- W2963904125 hasRelatedWork W2264932920 @default.
- W2963904125 hasRelatedWork W2613991555 @default.
- W2963904125 hasRelatedWork W2788601470 @default.
- W2963904125 hasRelatedWork W2802872846 @default.
- W2963904125 hasRelatedWork W2897518291 @default.
- W2963904125 hasRelatedWork W2963854681 @default.
- W2963904125 hasRelatedWork W2996903179 @default.
- W2963904125 hasRelatedWork W3175373088 @default.
- W2963904125 hasRelatedWork W55323366 @default.
- W2963904125 hasRelatedWork W635472793 @default.
- W2963904125 isParatext "false" @default.
- W2963904125 isRetracted "false" @default.
- W2963904125 magId "2963904125" @default.
- W2963904125 workType "article" @default.