مرکز منطقه ای اطلاع رساني علوم و فناوري - Deriving algebraic Petri net specifications from structured analysis

Title of article :

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

Author/Authors :

Chieh-Ying Kan، نويسنده , , Xudong He، نويسنده ,

Issue Information :

ماهنامه با شماره پیاپی سال 1995

Pages :

From page :

411

To page :

434

Keywords :

algebraic Petri nets. formal methods , structured analysi"

Journal title :

Information and Software Technology

Serial Year :

1995

Journal title :

Information and Software Technology

Record number :

134333

Link To Document :