Algebraic petri nets and their applications Conference

Kan, CV, He, X. (1994). Algebraic petri nets and their applications . 395-403.

cited authors

  • Kan, CV; 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, and offers new techniques for specification construction and analysis. The new results are illustrated through the specification and verification of a simplified lift system.

publication date

  • January 1, 1994

International Standard Book Number (ISBN) 10

start page

  • 395

end page

  • 403