Title of article :
Relational algebraic framework for the modelling and analysis of Petri nets
Author/Authors :
Young Chan Kim، نويسنده , , Tag Gon Kim، نويسنده ,
Issue Information :
ماهنامه با شماره پیاپی سال 1995
Keywords :
relational algebra. Petri net modelling. systems analy , I , . reachability tree generation
Journal title :
Information and Software Technology
Journal title :
Information and Software Technology
