REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

  1. Repozytorium Uniwersytetu w Białymstoku
  2. Czasopisma naukowe / Journals
  3. Formalized Mathematics
  4. Formalized Mathematics, 2009, Volume 17, Issue 1

Szukanie zaawansowane
  • Zespoły i Kolekcje


  • Zaloguj się
  • Zarejestruj się
  • Mój RUB
  • FAQ
  • Polityka
  • Regulamin
  • DOI
  • Instrukcja
  • Aspekty prawne
  • Open Access
  • Archiwum


  • Kontakt
  • O Dspace
  • Strona Biblioteki
  • Strona Uczelni



    • Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji: http://hdl.handle.net/11320/3517
    Pełny rekord metadanych
    Pole DCWartośćJęzyk
    dc.contributor.authorJitsukawa, Mitsuru-
    dc.contributor.authorKawamoto, Pauline N.-
    dc.contributor.authorShidama, Yasunari-
    dc.contributor.authorNakamura, Yatsuka-
    dc.date.accessioned2015-11-24T19:25:09Z-
    dc.date.available2015-11-24T19:25:09Z-
    dc.date.issued2009-
    dc.identifier.citationFormalized Mathematics, Volume 17, Issue 1, 2009, Pages 37-42-
    dc.identifier.issn1426-2630-
    dc.identifier.issn1898-9934-
    dc.identifier.urihttp://hdl.handle.net/11320/3517-
    dc.description.abstractBased 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.-
    dc.language.isoen-
    dc.publisherDe Gruyter Open-
    dc.titleCell Petri Net Concepts-
    dc.typeArticle-
    dc.identifier.doi10.2478/v10037-009-0004-z-
    dc.description.AffiliationMitsuru Jitsukawa - Chiba-ken Asahi-shi, Kotoda 2927-13 289-2502 Japan-
    dc.description.AffiliationPauline Kawamoto - Shinshu University, Nagano, Japan-
    dc.description.AffiliationYasunari Shidama - Shinshu University, Nagano, Japan-
    dc.description.AffiliationYatsuka Nakamura - Shinshu University, Nagano, Japan-
    Występuje w kolekcji(ach):Formalized Mathematics, 2009, Volume 17, Issue 1

    Pliki w tej pozycji:
    Plik Opis RozmiarFormat 
    v10037-009-0004-z.pdf229,97 kBAdobe PDFOtwórz
    Pokaż uproszczony widok rekordu Zobacz statystyki


    Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL Creative Commons