@MISC{PETRI_2.MIZ,
  AUTHOR = {Jitsukawa, Mitsuru and Kawamoto, Pauline N. and Shidama, Yasunari and Nakamura, Yatsuka},
  TITLE = {Cell {P}etri Net Concepts},
  SECTION1 = {Preliminaries: Thin Cylinder, Locus},
  SECTION2 = {Colored Petri Nets},
  SECTION3 = {Color Counts of CPNT},
  SECTION4 = {Colored States of CPNT},
  SECTION5 = {Outbound Transitions of CPNT},
  SECTION6 = {Connecting Mapping for CPNT1, CPNT2},
  SECTION7 = {Connecting Firing Rule for CPNT1, CPNT2},
  SECTION8 = {Synthesis of CPNT1, CPNT2},
  DAY = {14},
  MONTH = {October},
  YEAR = {2008},
  ADDRESS1 = {Chiba-ken Asahi-shi Kotoda 2927-13\\ 289-2502 Japan},
  ADDRESS2 = {Shinshu University\\ Nagano, Japan},
  ADDRESS3 = {Shinshu University\\ Nagano, Japan},
  ADDRESS4 = {Shinshu University\\ Nagano, Japan},
  SUMMARY = {Based on the Petri net definitions and theorems already formalized 
  in  \cite{PETRI.ABS}, with this article, we developed the concept of 
  ``Cell Petri Nets". It is based on \cite{Kawamoto-Nakamura:1996}. 
  In a cell Petri net we introduce the notions of colors and colored 
  states of a Petri net, connecting mappings for linking two Petri 
  nets, firing rules for transitions, and the synthesis of two or 
  more Petri nets.}}

