Matches in SemOpenAlex for { <https://semopenalex.org/work/W51983948> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W51983948 endingPage "180" @default.
- W51983948 startingPage "173" @default.
- W51983948 abstract "Abstract In this paper, a formal method (called PZ nets) for specifying concurrent and distributed systems is presented. PZ nets integrate two well-known existing formal methods Petri nets and Z such that Petri nets are used to specify the overall structure, control flows, causal relation, and dynamic behavior of a system; and Z is used to define tokens, labels and constrains of the system. The essence, benefits, and problems of the integration are discussed. A set of heuristics and transformations to develop PZ nets and a technique to analyze PZ nets are proposed and demonstrated through a well-known example." @default.
- W51983948 created "2016-06-24" @default.
- W51983948 creator A5009723525 @default.
- W51983948 date "1995-01-01" @default.
- W51983948 modified "2023-09-28" @default.
- W51983948 title "PZ Nets- A Formal Method Integrating Petri Nets with Z." @default.
- W51983948 hasPublicationYear "1995" @default.
- W51983948 type Work @default.
- W51983948 sameAs 51983948 @default.
- W51983948 citedByCount "0" @default.
- W51983948 crossrefType "proceedings-article" @default.
- W51983948 hasAuthorship W51983948A5009723525 @default.
- W51983948 hasConcept C111498074 @default.
- W51983948 hasConcept C111919701 @default.
- W51983948 hasConcept C116253237 @default.
- W51983948 hasConcept C120314980 @default.
- W51983948 hasConcept C124101348 @default.
- W51983948 hasConcept C127705205 @default.
- W51983948 hasConcept C136155141 @default.
- W51983948 hasConcept C177264268 @default.
- W51983948 hasConcept C197551870 @default.
- W51983948 hasConcept C199360897 @default.
- W51983948 hasConcept C25343380 @default.
- W51983948 hasConcept C2985583900 @default.
- W51983948 hasConcept C38677869 @default.
- W51983948 hasConcept C41008148 @default.
- W51983948 hasConcept C75606506 @default.
- W51983948 hasConcept C80444323 @default.
- W51983948 hasConceptScore W51983948C111498074 @default.
- W51983948 hasConceptScore W51983948C111919701 @default.
- W51983948 hasConceptScore W51983948C116253237 @default.
- W51983948 hasConceptScore W51983948C120314980 @default.
- W51983948 hasConceptScore W51983948C124101348 @default.
- W51983948 hasConceptScore W51983948C127705205 @default.
- W51983948 hasConceptScore W51983948C136155141 @default.
- W51983948 hasConceptScore W51983948C177264268 @default.
- W51983948 hasConceptScore W51983948C197551870 @default.
- W51983948 hasConceptScore W51983948C199360897 @default.
- W51983948 hasConceptScore W51983948C25343380 @default.
- W51983948 hasConceptScore W51983948C2985583900 @default.
- W51983948 hasConceptScore W51983948C38677869 @default.
- W51983948 hasConceptScore W51983948C41008148 @default.
- W51983948 hasConceptScore W51983948C75606506 @default.
- W51983948 hasConceptScore W51983948C80444323 @default.
- W51983948 hasLocation W519839481 @default.
- W51983948 hasOpenAccess W51983948 @default.
- W51983948 hasPrimaryLocation W519839481 @default.
- W51983948 hasRelatedWork W1499645252 @default.
- W51983948 hasRelatedWork W1506995308 @default.
- W51983948 hasRelatedWork W1519113483 @default.
- W51983948 hasRelatedWork W1520125508 @default.
- W51983948 hasRelatedWork W1544463012 @default.
- W51983948 hasRelatedWork W1544652985 @default.
- W51983948 hasRelatedWork W1601437325 @default.
- W51983948 hasRelatedWork W184850979 @default.
- W51983948 hasRelatedWork W1884340579 @default.
- W51983948 hasRelatedWork W1970322966 @default.
- W51983948 hasRelatedWork W2091260341 @default.
- W51983948 hasRelatedWork W2125025425 @default.
- W51983948 hasRelatedWork W2130283794 @default.
- W51983948 hasRelatedWork W2148229336 @default.
- W51983948 hasRelatedWork W2373123202 @default.
- W51983948 hasRelatedWork W2374423368 @default.
- W51983948 hasRelatedWork W2509023953 @default.
- W51983948 hasRelatedWork W2915077839 @default.
- W51983948 hasRelatedWork W2998032809 @default.
- W51983948 hasRelatedWork W2741189801 @default.
- W51983948 isParatext "false" @default.
- W51983948 isRetracted "false" @default.
- W51983948 magId "51983948" @default.
- W51983948 workType "article" @default.