Publication Details

Pi-calculus-based Resource-access Analysis of High-level Petri Nets

KUNŠTÁTSKÝ, M.; JANOUŠEK, V. Pi-calculus-based Resource-access Analysis of High-level Petri Nets. Informatica - An International Journal of Computing and Informatics, 2013, vol. 2013, no. 37, p. 1-17. ISSN: 1854-3871.
Czech title
Analýza přístupu ke zdrojům vysokoúrovňových Petriho sítí založená na Pí-kalkulu
Type
journal article
Language
English
Authors
Kunštátský Martin, Ing.
Janoušek Vladimír, doc. Ing., Ph.D. (DITS)
Keywords

Resource-access analysis, Coloured Petri nets, Pi-calculus

Abstract

One of many possible uses of coloured Petri nets, is the use
for modelling complex resource-accessing systems. In this article
a resource-access analysis method, based on translation of Petri net model to
a complex pi-calculus process, is presented.

Annotation

One of many possible uses of coloured Petri nets, is the use
for modelling complex resource-accessing systems. In this article a resource-access analysis method, based on translation of Petri net model to a complex pi-calculus process, is presented.
The use of coloured Petri nets for modelling resource-accessing systems, suggests an enhancement of the Petri net formalism with resource data type, which is also described in this work.
A correct-resource-access checking method for the pi-calculus has been known for several years. This article shows, how to use this method for analysing static high-level Petri nets.

Published
2013
Pages
1–17
Journal
Informatica - An International Journal of Computing and Informatics, vol. 2013, no. 37, ISSN 1854-3871
BibTeX 
@article{BUT192899,
  author="Martin {Kunštátský} and Vladimír {Janoušek}",
  title="Pi-calculus-based Resource-access Analysis of High-level Petri Nets",
  journal="Informatica - An International Journal of Computing and Informatics",
  year="2013",
  volume="2013",
  number="37",
  pages="1--17",
  issn="1854-3871",
  url="https://www.fit.vut.cz/research/publication/10326/"
}
Files
Back to top