Detail publikace
Pi-calculus-based Resource-access Analysis of High-level Petri Nets
Janoušek Vladimír, doc. Ing., Ph.D. (UITS)
Resource-access analysis, Coloured Petri nets, Pi-calculus
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.
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í.
@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/"
}