مرکز منطقه ای اطلاع رساني علوم و فناوري - A new approach to verify rule-based systems using petri nets

Title of article :

A new approach to verify rule-based systems using petri nets

Author/Authors :

Xudong He، نويسنده , , William C. Chu، نويسنده , , Hongji Yang، نويسنده ,

Issue Information :

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

Pages :

From page :

663

To page :

669

Keywords :

Rule-Based Systems , Verification , Petri nets

Journal title :

Information and Software Technology

Serial Year :

2002

Journal title :

Information and Software Technology

Record number :

134973

Link To Document :