Matches in SemOpenAlex for { <https://semopenalex.org/work/W2105209039> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2105209039 abstract "With any Petri net we associated its CPN language which consists of all sequences of transitions which reach a marking with an empty place whereas all proper prefixes of the sequence lead to positive markings. We prove that any CPN language can be accepted by a partially blind multicounter ma- chine, and that any partially blind multicounter language is the morphic image of some CPN language. As a corollary we obtain the decidability of membership, emptiness and finiteness problem for CPN languages. We characterize the very strictly bounded reg- ular languages, which are CPN languages, and give a condition for a Petri net, which ensures that its generated language is regular. We give a dense CPN language and prove that no dense regular language is a CPN language." @default.
- W2105209039 created "2016-06-24" @default.
- W2105209039 creator A5027876110 @default.
- W2105209039 creator A5073072370 @default.
- W2105209039 creator A5089322907 @default.
- W2105209039 date "2002-02-28" @default.
- W2105209039 modified "2023-10-13" @default.
- W2105209039 title "Some Remarks on Codes Defined by Petri Nets" @default.
- W2105209039 cites W1557795707 @default.
- W2105209039 cites W2002944460 @default.
- W2105209039 cites W2075742699 @default.
- W2105209039 doi "https://doi.org/10.3217/jucs-008-02-0260" @default.
- W2105209039 hasPublicationYear "2002" @default.
- W2105209039 type Work @default.
- W2105209039 sameAs 2105209039 @default.
- W2105209039 citedByCount "0" @default.
- W2105209039 crossrefType "journal-article" @default.
- W2105209039 hasAuthorship W2105209039A5027876110 @default.
- W2105209039 hasAuthorship W2105209039A5073072370 @default.
- W2105209039 hasAuthorship W2105209039A5089322907 @default.
- W2105209039 hasBestOaLocation W21052090391 @default.
- W2105209039 hasConcept C11413529 @default.
- W2105209039 hasConcept C118615104 @default.
- W2105209039 hasConcept C134306372 @default.
- W2105209039 hasConcept C138885662 @default.
- W2105209039 hasConcept C141603448 @default.
- W2105209039 hasConcept C14166107 @default.
- W2105209039 hasConcept C153269930 @default.
- W2105209039 hasConcept C199360897 @default.
- W2105209039 hasConcept C2524010 @default.
- W2105209039 hasConcept C27206212 @default.
- W2105209039 hasConcept C2778112365 @default.
- W2105209039 hasConcept C2779150620 @default.
- W2105209039 hasConcept C2780012671 @default.
- W2105209039 hasConcept C33923547 @default.
- W2105209039 hasConcept C34388435 @default.
- W2105209039 hasConcept C38677869 @default.
- W2105209039 hasConcept C41008148 @default.
- W2105209039 hasConcept C41895202 @default.
- W2105209039 hasConcept C54355233 @default.
- W2105209039 hasConcept C86803240 @default.
- W2105209039 hasConceptScore W2105209039C11413529 @default.
- W2105209039 hasConceptScore W2105209039C118615104 @default.
- W2105209039 hasConceptScore W2105209039C134306372 @default.
- W2105209039 hasConceptScore W2105209039C138885662 @default.
- W2105209039 hasConceptScore W2105209039C141603448 @default.
- W2105209039 hasConceptScore W2105209039C14166107 @default.
- W2105209039 hasConceptScore W2105209039C153269930 @default.
- W2105209039 hasConceptScore W2105209039C199360897 @default.
- W2105209039 hasConceptScore W2105209039C2524010 @default.
- W2105209039 hasConceptScore W2105209039C27206212 @default.
- W2105209039 hasConceptScore W2105209039C2778112365 @default.
- W2105209039 hasConceptScore W2105209039C2779150620 @default.
- W2105209039 hasConceptScore W2105209039C2780012671 @default.
- W2105209039 hasConceptScore W2105209039C33923547 @default.
- W2105209039 hasConceptScore W2105209039C34388435 @default.
- W2105209039 hasConceptScore W2105209039C38677869 @default.
- W2105209039 hasConceptScore W2105209039C41008148 @default.
- W2105209039 hasConceptScore W2105209039C41895202 @default.
- W2105209039 hasConceptScore W2105209039C54355233 @default.
- W2105209039 hasConceptScore W2105209039C86803240 @default.
- W2105209039 hasLocation W21052090391 @default.
- W2105209039 hasOpenAccess W2105209039 @default.
- W2105209039 hasPrimaryLocation W21052090391 @default.
- W2105209039 hasRelatedWork W1513764144 @default.
- W2105209039 hasRelatedWork W1535842141 @default.
- W2105209039 hasRelatedWork W1544193946 @default.
- W2105209039 hasRelatedWork W2094407641 @default.
- W2105209039 hasRelatedWork W2094669270 @default.
- W2105209039 hasRelatedWork W2110044256 @default.
- W2105209039 hasRelatedWork W2113040727 @default.
- W2105209039 hasRelatedWork W2148229336 @default.
- W2105209039 hasRelatedWork W2379288397 @default.
- W2105209039 hasRelatedWork W2916743419 @default.
- W2105209039 isParatext "false" @default.
- W2105209039 isRetracted "false" @default.
- W2105209039 magId "2105209039" @default.
- W2105209039 workType "article" @default.