id: 05433911
dt: j
an: 05433911
au: Varadharajan, Vijay
ti: A Petri net model for system design and refinement.
so: J. Syst. Softw. 15, No. 3, 239-250 (1991).
py: 1991
pu: Elsevier, New York, NY
la: EN
cc: 
ut: 
ci: 
li: doi:10.1016/0164-1212(91)90040-D