The transform method from the concept model to the petri net model

摘要

A concept model for the specification of the system is presented in this paper. It includes power graph, resource graph and restriction set. The transformation algorithms for concept model to Petri net model are give respectively. The method is illustrated by an example of the discrete manufacturing system.