Keyword: timed coloured net

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

• Besombes, B.; Ladet, P.:
  SAGASSE - An Expert System Based Simulator For Flexible Manufacturing Systems. 1990.

• Descotes-Genon, B.; Hemon, F.; Mercier des Rochettes, R.:
  ISATIS: An Editor-Simulator of Manufacturing Systems Using Timed Coloured Petri Nets. 1989.

• Walter, C.:
  Integrating Simulation and AI into a Production Scheduling System. 1989.

Back to the Petri Nets Bibliography