Date of Award


Degree Name

Master of Science


Computer Science

First Advisor

Dr. Ben Pinkowski

Second Advisor

Dr. Donna Kaminski

Third Advisor

Dr. Robert Trenary

Access Setting

Masters Thesis-Open Access


This paper defines a method by which the colored petri net model of a concurrent system may be mapped to an equivalent rule-based production system. The mapping method defined is an intuitive process which results in a production system that clearly represents the petri net model.

In order to demonstrate the effectiveness and correctness of this method, the colored petri net representation of a part of a flexible manufacturing system of the Renault Car Company is mapped to an equivalent Sierra OPS5 rule-based production system.

An overview of petri nets and rule-based production systems is presented, along with a brief discussion of flexible manufacturing systems (FMSs) and the advantages of using colored petri nets to model FMSs.