Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 1

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last

Wyniki wyszukiwania

help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote

Cell Petri Net Concepts

100%
Jitsukawa M., Kawamoto P., Shidama Y., Nakamura Y.
Formalized Mathematics
|
2009
|
tom 17
|
nr 1
37-42
EN
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
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.