@article{JF-15,
author= Young Chan Kim and Tag Gon Kim,
title="Relational Algebraic Framework for the Modelling and Analysis of Petri Nets",
journal=Information and Software Technology,
volume= 37,
number=10,
pages= 563 - 571,
year= 1995. ,
}