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.
Publié le : 2019-02-05
Classification:
Theoretical Foundations,
Petri nets, process algebra ACP, formal methods, semantics, specification, transformation,
68-Q85
@article{cai2018_6_1464,
author = {Slavom\'\i r \v Simo\v n\'ak; Department of Computers and Informatics, Technical University of Ko\v sice and Martin Tom\'a\v sek; Department of Computers and Informatics, Technical University of Ko\v sice},
title = {ACP Semantics for Petri Nets},
journal = {Computing and Informatics},
volume = {37},
number = {6},
year = {2019},
language = {en},
url = {http://dml.mathdoc.fr/item/cai2018_6_1464}
}
Slavomír Šimoňák; Department of Computers and Informatics, Technical University of Košice; Martin Tomášek; Department of Computers and Informatics, Technical University of Košice. ACP Semantics for Petri Nets. Computing and Informatics, Tome 37 (2019) no. 6, . http://gdmltest.u-ga.fr/item/cai2018_6_1464/