Matches in SemOpenAlex for { <https://semopenalex.org/work/W2014965607> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2014965607 endingPage "169" @default.
- W2014965607 startingPage "155" @default.
- W2014965607 abstract "For languages recognized by finite automata we dispose of two formalisms: regular expressions (Kleene, 1956) and logical formulas (Büchi, 1960). In the case of Petri net languages there is no formalism like regular expressions. In this paper we give a Büchi-like theorem which characterizes Petri net languages in terms of second-order logical formulas. This characterization has two advantages: (1) It situates exactly the power of Petri nets with respect to finite automata; roughly speaking, Petri nets are finite automata plus the ability of testing if a string of parenthesis is well formed (in this paper ‘parenthesis’ always means the usual one sort of parentheses). (2) Given a language, it enables us to easily prove that it is a Petri net language. In addition we prove that Petri net languages and deadlock languages coincide." @default.
- W2014965607 created "2016-06-24" @default.
- W2014965607 creator A5000803701 @default.
- W2014965607 creator A5083676860 @default.
- W2014965607 date "1985-01-01" @default.
- W2014965607 modified "2023-09-30" @default.
- W2014965607 title "A logical approach of Petri net languages" @default.
- W2014965607 cites W2008435081 @default.
- W2014965607 cites W4205178514 @default.
- W2014965607 doi "https://doi.org/10.1016/0304-3975(85)90136-7" @default.
- W2014965607 hasPublicationYear "1985" @default.
- W2014965607 type Work @default.
- W2014965607 sameAs 2014965607 @default.
- W2014965607 citedByCount "26" @default.
- W2014965607 countsByYear W20149656072013 @default.
- W2014965607 countsByYear W20149656072014 @default.
- W2014965607 countsByYear W20149656072016 @default.
- W2014965607 countsByYear W20149656072020 @default.
- W2014965607 countsByYear W20149656072022 @default.
- W2014965607 crossrefType "journal-article" @default.
- W2014965607 hasAuthorship W2014965607A5000803701 @default.
- W2014965607 hasAuthorship W2014965607A5083676860 @default.
- W2014965607 hasBestOaLocation W20149656071 @default.
- W2014965607 hasConcept C112505250 @default.
- W2014965607 hasConcept C118615104 @default.
- W2014965607 hasConcept C121329065 @default.
- W2014965607 hasConcept C137212723 @default.
- W2014965607 hasConcept C167822520 @default.
- W2014965607 hasConcept C171018156 @default.
- W2014965607 hasConcept C197551870 @default.
- W2014965607 hasConcept C199360897 @default.
- W2014965607 hasConcept C2524010 @default.
- W2014965607 hasConcept C33923547 @default.
- W2014965607 hasConcept C38677869 @default.
- W2014965607 hasConcept C41008148 @default.
- W2014965607 hasConcept C52370388 @default.
- W2014965607 hasConcept C80444323 @default.
- W2014965607 hasConceptScore W2014965607C112505250 @default.
- W2014965607 hasConceptScore W2014965607C118615104 @default.
- W2014965607 hasConceptScore W2014965607C121329065 @default.
- W2014965607 hasConceptScore W2014965607C137212723 @default.
- W2014965607 hasConceptScore W2014965607C167822520 @default.
- W2014965607 hasConceptScore W2014965607C171018156 @default.
- W2014965607 hasConceptScore W2014965607C197551870 @default.
- W2014965607 hasConceptScore W2014965607C199360897 @default.
- W2014965607 hasConceptScore W2014965607C2524010 @default.
- W2014965607 hasConceptScore W2014965607C33923547 @default.
- W2014965607 hasConceptScore W2014965607C38677869 @default.
- W2014965607 hasConceptScore W2014965607C41008148 @default.
- W2014965607 hasConceptScore W2014965607C52370388 @default.
- W2014965607 hasConceptScore W2014965607C80444323 @default.
- W2014965607 hasLocation W20149656071 @default.
- W2014965607 hasOpenAccess W2014965607 @default.
- W2014965607 hasPrimaryLocation W20149656071 @default.
- W2014965607 hasRelatedWork W152523404 @default.
- W2014965607 hasRelatedWork W1527902492 @default.
- W2014965607 hasRelatedWork W1545777893 @default.
- W2014965607 hasRelatedWork W1659060819 @default.
- W2014965607 hasRelatedWork W2014965607 @default.
- W2014965607 hasRelatedWork W2136662891 @default.
- W2014965607 hasRelatedWork W2148167082 @default.
- W2014965607 hasRelatedWork W2170115973 @default.
- W2014965607 hasRelatedWork W4239176740 @default.
- W2014965607 hasRelatedWork W4256348577 @default.
- W2014965607 hasVolume "39" @default.
- W2014965607 isParatext "false" @default.
- W2014965607 isRetracted "false" @default.
- W2014965607 magId "2014965607" @default.
- W2014965607 workType "article" @default.