À propos de cet article
Publié en ligne: 20 mars 2009
Pages: 37 - 42
DOI: https://doi.org/10.2478/v10037-009-0004-z
This content is open access.
Based on the Petri net definitions and theorems already formalized in [8], with this article, we developed the concept of "Cell Petri Nets". It is based on [9]. 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.
MML identifier: PETRI 2, version: 7.11.01 4.117.1046