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

Autor:	Xudong He, Chieh-Ying Kan
Rok vydání:	1995
Předmět:	Structured analysis Theoretical computer science Computer science Stochastic Petri net Construct (python library) Algebraic number Algebraic petri nets Petri net Process architecture Formal methods Software Computer Science Applications Information Systems
Zdroj:	Information and Software Technology. 37:411-434
ISSN:	0950-5849
DOI:	10.1016/0950-5849(95)98038-h
Popis:	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.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::0e71da5c151164cb30db37f0d869237b https://doi.org/10.1016/0950-5849(95)98038-h Zobrazit plný text záznamu Full Text from ScienceDirect