TY - JOUR
AU - Šimoňák, Slavomír
AU - Tomášek, Martin
PY - 2019/02/04
Y2 - 2023/02/08
TI - ACP Semantics for Petri Nets
JF - COMPUTING AND INFORMATICS
JA - Comput. Inform.
VL - 37
IS - 6
SE - Articles
DO -
UR - https://www.cai.sk/ojs/index.php/cai/article/view/2018_6_1464
SP - 1464-1484
AB - 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.
ER -