<abstract xmlns="http://www.w3.org/1999/xhtml"><p> Based on the Petri net definitions and theorems already formalized in the Mizar article [13], in this article we were able to formalize the definition of cell Petri nets. It is based on [12]. Colored Petri net has already been defined in [11]. In addition, the conditions of the firing rule and the colored set to this definition, that defines the cell Petri nets are further extended to CPNT.i further. The synthesis of two Petri nets was introduced in [11] and in this work the definition is extended to produce the synthesis of a family of colored Petri nets. Specifically, the extension to a CPNT family is performed by specifying how to link the outbound transitions of each colored Petri net to the place elements of other nets to form a neighborhood relationship. Finally, the activation of colored Petri nets was formalized.</p></abstract>

Based on the Petri net definitions and theorems already formalized in the Mizar article [13], in this article we were able to formalize the definition of cell Petri nets. It is based on [12]. Colored Petri net has already been defined in [11]. In addition, the conditions of the firing rule and the colored set to this definition, that defines the cell Petri nets are further extended to CPNT.i further. The synthesis of two Petri nets was introduced in [11] and in this work the definition is extended to produce the synthesis of a family of colored Petri nets. Specifically, the extension to a CPNT family is performed by specifying how to link the outbound transitions of each colored Petri net to the place elements of other nets to form a neighborhood relationship. Finally, the activation of colored Petri nets was formalized.

Formulation of Cell Petri Nets

Formalized Mathematics

This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License. (CC BY-SA 3.0)

{"article-title":"Formulation of Cell Petri Nets"}

Based on the Petri net definitions and theorems already formalized in the Mizar article [13], in this article we were able to formalize the definition of cell...

Formulation of Cell Petri Nets

Publicado en línea: 27 dic 2013

Páginas: 241 - 247

Recibido: 08 dic 2013

DOI: https://doi.org/10.2478/forma-2013-0026

Palabras clave
Petri net, system modelling

© by Mitsuru Jitsukawa

This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License. (CC BY-SA 3.0)

Formulation of Cell Petri Nets

Publicado en línea: 27 dic 2013

Páginas: 241 - 247

Recibido: 08 dic 2013

DOI: https://doi.org/10.2478/forma-2013-0026

Palabras clavePetri net, system modelling

© by Mitsuru Jitsukawa

This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License. (CC BY-SA 3.0)

Palabras clave
Petri net, system modelling