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

Chieh-ying Kan, Xudong He. Deriving algebraic Petri net specifications from structured analysis - a case study. Information \& Software Technology, 37(8):411-434, 1995. [doi]

Abstract

Abstract is missing.