Matches in SemOpenAlex for { <https://semopenalex.org/work/W1729018557> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W1729018557 endingPage "183" @default.
- W1729018557 startingPage "165" @default.
- W1729018557 abstract "Proving safety and liveness of parallel systems is of unquestionable importance in system construction activity. A proof method for systems represented by nets (cause-effect structures and Petri nets) is proposed. Its outline is the following. (1) Let a problem specification as a formal theory i.e. a language system with specific relation symbols (operations, in particular), axioms and first-order inference rules be given. For each symbol introduce a class of atomic c-e structures (counterpart of Petri net transitions) to be the symbol's operational representative. (2) Using algebraic calculus of cause-effect structures, construct - from the atoms - a c-e structure and equivalent net intended to behave in accordance with the axioms (a mechanical step); (3) From the cause-effect structure just constructed, infer an algebraic structure and prove it to be a model (in terms of model theory) of the axiomatic system specifying the problem." @default.
- W1729018557 created "2016-06-24" @default.
- W1729018557 creator A5091564482 @default.
- W1729018557 date "2002-06-15" @default.
- W1729018557 modified "2023-09-26" @default.
- W1729018557 title "Proving Nets Correct via Cause-Effect Structures (An Experiment)" @default.
- W1729018557 cites W1536847556 @default.
- W1729018557 cites W1798280647 @default.
- W1729018557 cites W2078633535 @default.
- W1729018557 cites W2090362795 @default.
- W1729018557 cites W2113355185 @default.
- W1729018557 cites W2563942677 @default.
- W1729018557 hasPublicationYear "2002" @default.
- W1729018557 type Work @default.
- W1729018557 sameAs 1729018557 @default.
- W1729018557 citedByCount "1" @default.
- W1729018557 crossrefType "journal-article" @default.
- W1729018557 hasAuthorship W1729018557A5091564482 @default.
- W1729018557 hasConcept C11413529 @default.
- W1729018557 hasConcept C118615104 @default.
- W1729018557 hasConcept C125773388 @default.
- W1729018557 hasConcept C134306372 @default.
- W1729018557 hasConcept C134400042 @default.
- W1729018557 hasConcept C136119220 @default.
- W1729018557 hasConcept C14166107 @default.
- W1729018557 hasConcept C154945302 @default.
- W1729018557 hasConcept C15569618 @default.
- W1729018557 hasConcept C167729594 @default.
- W1729018557 hasConcept C182419690 @default.
- W1729018557 hasConcept C199360897 @default.
- W1729018557 hasConcept C202444582 @default.
- W1729018557 hasConcept C2524010 @default.
- W1729018557 hasConcept C2777212361 @default.
- W1729018557 hasConcept C33923547 @default.
- W1729018557 hasConcept C38677869 @default.
- W1729018557 hasConcept C41008148 @default.
- W1729018557 hasConcept C80444323 @default.
- W1729018557 hasConcept C9376300 @default.
- W1729018557 hasConceptScore W1729018557C11413529 @default.
- W1729018557 hasConceptScore W1729018557C118615104 @default.
- W1729018557 hasConceptScore W1729018557C125773388 @default.
- W1729018557 hasConceptScore W1729018557C134306372 @default.
- W1729018557 hasConceptScore W1729018557C134400042 @default.
- W1729018557 hasConceptScore W1729018557C136119220 @default.
- W1729018557 hasConceptScore W1729018557C14166107 @default.
- W1729018557 hasConceptScore W1729018557C154945302 @default.
- W1729018557 hasConceptScore W1729018557C15569618 @default.
- W1729018557 hasConceptScore W1729018557C167729594 @default.
- W1729018557 hasConceptScore W1729018557C182419690 @default.
- W1729018557 hasConceptScore W1729018557C199360897 @default.
- W1729018557 hasConceptScore W1729018557C202444582 @default.
- W1729018557 hasConceptScore W1729018557C2524010 @default.
- W1729018557 hasConceptScore W1729018557C2777212361 @default.
- W1729018557 hasConceptScore W1729018557C33923547 @default.
- W1729018557 hasConceptScore W1729018557C38677869 @default.
- W1729018557 hasConceptScore W1729018557C41008148 @default.
- W1729018557 hasConceptScore W1729018557C80444323 @default.
- W1729018557 hasConceptScore W1729018557C9376300 @default.
- W1729018557 hasIssue "2" @default.
- W1729018557 hasLocation W17290185571 @default.
- W1729018557 hasOpenAccess W1729018557 @default.
- W1729018557 hasPrimaryLocation W17290185571 @default.
- W1729018557 hasRelatedWork W128551976 @default.
- W1729018557 hasRelatedWork W1481091958 @default.
- W1729018557 hasRelatedWork W1482603105 @default.
- W1729018557 hasRelatedWork W1493441784 @default.
- W1729018557 hasRelatedWork W1495820984 @default.
- W1729018557 hasRelatedWork W1497218916 @default.
- W1729018557 hasRelatedWork W1561280378 @default.
- W1729018557 hasRelatedWork W1565525547 @default.
- W1729018557 hasRelatedWork W1566035118 @default.
- W1729018557 hasRelatedWork W1567743911 @default.
- W1729018557 hasRelatedWork W1738024625 @default.
- W1729018557 hasRelatedWork W1854108352 @default.
- W1729018557 hasRelatedWork W2027622095 @default.
- W1729018557 hasRelatedWork W2029789838 @default.
- W1729018557 hasRelatedWork W2045523968 @default.
- W1729018557 hasRelatedWork W2073745570 @default.
- W1729018557 hasRelatedWork W2073941363 @default.
- W1729018557 hasRelatedWork W2113040727 @default.
- W1729018557 hasRelatedWork W2130283794 @default.
- W1729018557 hasRelatedWork W2171770208 @default.
- W1729018557 hasVolume "54" @default.
- W1729018557 isParatext "false" @default.
- W1729018557 isRetracted "false" @default.
- W1729018557 magId "1729018557" @default.
- W1729018557 workType "article" @default.