Keyword: hierarchical coloured net

• Jensen, Kurt:
  Coloured Petri Nets: A High Level Language for System Design and Analysis. 1991.

• Pinci, Valerio O.; Shapiro, Robert M.:
  An Integrated Software Development Methodology Based on Hierarchical Colored Petri Nets. 1991.

• Shapiro, R.M.:
  Validation of a VLSI Chip Using Hierarchical Colored Petri Nets. 1991.

• Huber, Peter:
  A Formal Executable Specification of the ISDN Basic Rate Interface. 1991.

• Pinci, Valerio O.; Shapiro, Robert M.:
  Development and Implementation of a Strategy for Electronic Funds Transfer by means of Hierarchical Colored Petri Nets. 1990.

Back to the Petri Nets Bibliography