High-level algebraic Petri nets Article

Kan, CY, He, X. (1995). High-level algebraic Petri nets . INFORMATION AND SOFTWARE TECHNOLOGY, 37(1), 23-30. 10.1016/0950-5849(94)00438-X

cited authors

  • Kan, CY; He, X

authors

abstract

  • In this paper, a formal method for specifying and verifying concurrent and distributed systems is presented. The formal method has adapted and extended the recent research results in integrating Petri nets with algebraic specifications by incorporating guarded functions explicitly into the net definition, and offers a new technique for specification construction using the decision table technique and a new analysis technique employing logical, algebraic, and structural reasoning. The new results are illustrated through the specification and verification of a simplified lift system. © 1995.

publication date

  • January 1, 1995

published in

Digital Object Identifier (DOI)

start page

  • 23

end page

  • 30

volume

  • 37

issue

  • 1