@article{oai:soar-ir.repo.nii.ac.jp:00018385,
 author = {Jitsukawa, Mitsuru and Kawamoto, Pauline N. and Shidama, Yasunari},
 issue = {4},
 journal = {Formalized Mathematics},
 month = {Dec},
 note = {Article, Formalized Mathematics. 21(4): 241-247 (2013)},
 pages = {241--247},
 title = {Formulation of Cell Petri Nets},
 volume = {21},
 year = {2013}
}