<abstract xml:lang="en" xmlns="http://www.w3.org/1999/xhtml"><p>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.</p><p>MML identifier: PETRI 2, version: 7.11.01 4.117.1046</p></abstract>

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

Cell Petri Net Concepts

Chiba-ken Asahi-shi, Kotoda 2927-13 289-2502 Japan

Formalized Mathematics

{"article-title":"Cell Petri Net Concepts"}

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...

Cell Petri Net Concepts

Published Online: Mar 20, 2009

Page range: 37 - 42

DOI: https://doi.org/10.2478/v10037-009-0004-z

This content is open access.