Detail publikace

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.
Název česky
Analýza přístupu ke zdrojům vysokoúrovňových Petriho sítí založená na Pí-kalkulu
Typ
článek v časopise
Jazyk
anglicky
Autoři
Kunštátský Martin, Ing.
Janoušek Vladimír, doc. Ing., Ph.D. (UITS)
Klíčová slova

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

Abstrakt

Vysokoúrovňové Petriho sítě lze používat pro mnoho účelů včetně modelování
komplexních systémů přistupujících ke zdrojům. V tomto článku je prezentována 
metoda analýzy přístupu ke zdrojům,
založená na překladu Petriho sítí do komplexního procesu pi-kalkulu.

Anotace

Vysokoúrovňové Petriho sítě lze používat pro mnoho účelů včetně modelování komplexních systémů  přistupujících ke zdrojům. V tomto článku je prezentována  metoda analýzy přístupu ke zdrojům, založená na překladu Petriho sítí do komplexního procesu pi-kalkulu.
Použití barvených Petriho sítí pro modelování systémů přistupujících ke zdrojům vyžaduje rozšíření
formalismu Petriho sítí datovým typem reprezentujícím zdroje, toto rozšíření je také popsáno v článku.
Metoda kontrolující korektní přístup ke zdrojům pro pi-kalkulus byla navržena před několika lety. Tento článek ukazuje, jak tuto metodu použít pro analýzu statických vysokoúrovňových Petriho sítí.

Rok
2013
Strany
1–17
Časopis
Informatica - An International Journal of Computing and Informatics, roč. 2013, č. 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/"
}
Soubory
Nahoru