Deriving algebraic Petri net specifications from structured analysis-a case study Article

Kan, CY, He, X. (1995). Deriving algebraic Petri net specifications from structured analysis-a case study . INFORMATION AND SOFTWARE TECHNOLOGY, 37(8), 411-434. 10.1016/0950-5849(95)98038-H

cited authors

  • Kan, CY; He, X

authors

abstract

  • Algebraic Petri nets have been developed as a suitable formal method for concurrent and distributed systems in recent years. However, applications of algebraic Petri nets to non-trivial real-world systems are scarce. In this paper, we present an algebraic Petri net specification of an automatic teller machine system. The algebraic Petri net specification is systematically derived from an informal specification written in structured analysis methods by using a methodology developed in our earlier work. Our results in this paper: (1) demonstrated a feasible approach to construct algebraic Petri net specifications; (2) provided sufficient details for potential users to understand and use algebraic Petri nets through a non-trivial real-world system; and (3) established a baseline for meaningful comparisons of different formal methods. © 1995.

publication date

  • January 1, 1995

published in

Digital Object Identifier (DOI)

start page

  • 411

end page

  • 434

volume

  • 37

issue

  • 8