A class of hypernets with token creation and decidable reachability problem

Marek Antoni Bednarczyk , Piotr Jóźwiak , Wiesław Pawłowski

Abstract

n/a
Autor Marek Antoni Bednarczyk (WMFiI / II)
Marek Antoni Bednarczyk
- Instytut Informatyki
, Piotr Jóźwiak (WMFiI / II)
Piotr Jóźwiak
- Instytut Informatyki
, Wiesław Pawłowski (WMFiI / II)
Wiesław Pawłowski
- Instytut Informatyki
Tytuł czasopisma/seriiCEUR Workshop Proceedings, ISSN 1613-0073, (0 pkt)
Rok wydania2012
Tom928
Paginacja 37-48
Objętość publikacji w arkuszach wydawniczych0.55
Konferencja21th International Workshop on Concurrency, Specification and Programming (CS&P 2012), 26-09-2012 - 26-09-2012, Berlin, Niemcy
Słowa kluczowe w języku angielskimpetri hypernets, reachability, decidability
Języken angielski
Punktacja (całkowita)0
Liczba cytowań*
Cytuj
Udostępnij Udostępnij

Pobierz odnośnik do tego rekordu


* Podana liczba cytowań wynika z analizy informacji dostępnych w Internecie i jest zbliżona do wartości obliczanej przy pomocy systemu Publish or Perish.
Powrót