Affordable Access

Publisher Website

PZnets — a formal method integrating Petri nets withZ

Authors
Journal
Information and Software Technology
0950-5849
Publisher
Elsevier
Publication Date
Volume
43
Issue
1
Identifiers
DOI: 10.1016/s0950-5849(00)00134-8
Keywords
  • Formal Methods
  • Formal Specification And Verification
  • Petri Nets Andz

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.

There are no comments yet on this publication. Be the first to share your thoughts.