Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/3693
Tytuł: | Formulation of Cell Petri Nets |
Autorzy: | Jitsukawa, Mitsuru Kawamoto, Pauline N. Shidama, Yasunari |
Słowa kluczowe: | Petri net system modelling |
Data wydania: | 2013 |
Data dodania: | 9-gru-2015 |
Wydawca: | De Gruyter Open |
Źródło: | Formalized Mathematics, Volume 21, Issue 4, 2013, Pages 241-247 |
Abstrakt: | 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. |
Afiliacja: | Jitsukawa Mitsuru - Shinshu University Nagano, Japan Kawamoto Pauline N. - Shinshu University Nagano, Japan Shidama Yasunari - Shinshu University Nagano, Japan |
URI: | http://hdl.handle.net/11320/3693 |
DOI: | 10.2478/forma-2013-0026 |
ISSN: | 1426-2630 1898-9934 |
Typ Dokumentu: | Article |
Występuje w kolekcji(ach): | Formalized Mathematics, 2013, Volume 21, Issue 4 |
Pliki w tej pozycji:
Plik | Opis | Rozmiar | Format | |
---|---|---|---|---|
forma-2013-0026.pdf | 243,28 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL