Abstract
The paper deals with algebraic semantics for Petri nets, based on process algebra ACP. The semantics is defined by assigning a special variable to every place of given Petri net, expressing the process initiated in the place. Algebraic semantics of the Petri net is then defined as a parallel composition of all the variables, where corresponding places hold tokens within the initial marking. Resulting algebraic specification preserves operational behavior of the original net-based specification.
Keywords
MSC
68-Q85
Cite this article
@article{cai-3332,
author = {Slavomír Šimoňák and Martin Tomášek},
title = {ACP Semantics for Petri Nets},
journal = {Computing and Informatics},
volume = {37},
number = {6},
pages = {1464--1484},
year = {2018},
issn = {1335-9150},
doi = {10.4149/cai_2018_6_1464}
}
TY - JOUR AU - Slavomír Šimoňák AU - Martin Tomášek TI - ACP Semantics for Petri Nets JO - Computing and Informatics VL - 37 IS - 6 SP - 1464 EP - 1484 PY - 2018 SN - 1335-9150 DO - 10.4149/cai_2018_6_1464 UR - https://doi.org/10.4149/cai_2018_6_1464 KW - Petri nets KW - process algebra ACP KW - formal methods KW - semantics KW - specification KW - transformation ER -
Šimoňák, S., & Tomášek, M. (2018). ACP Semantics for Petri Nets. Computing and Informatics, 37(6), 1464–1484. https://doi.org/10.4149/cai_2018_6_1464