A class of hypernets with token creation and decidable reachability problem

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

Abstract

n/a
Author Marek Antoni Bednarczyk (FMPI / II)
Marek Antoni Bednarczyk,,
- Institute of Informatics
, Piotr Jóźwiak (FMPI / II)
Piotr Jóźwiak,,
- Institute of Informatics
, Wiesław Pawłowski (FMPI / II)
Wiesław Pawłowski,,
- Institute of Informatics
Journal seriesCEUR Workshop Proceedings, ISSN 1613-0073, (0 pkt)
Issue year2012
Vol928
Pages37-48
Publication size in sheets0.55
Conference21th International Workshop on Concurrency, Specification and Programming (CS&P 2012), 26-09-2012 - 26-09-2012, Berlin, Niemcy
Keywords in Englishpetri hypernets, reachability, decidability
Languageen angielski
Score (nominal)0
Citation count*
Cite
Share Share

Get link to the record


* presented citation count is obtained through Internet information analysis and it is close to the number calculated by the Publish or Perish system.
Back