@article{Šimoňák_Tomášek_2019, title={ACP Semantics for Petri Nets}, volume={37}, url={https://www.cai.sk/ojs/index.php/cai/article/view/2018_6_1464}, abstractNote={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.}, number={6}, journal={COMPUTING AND INFORMATICS}, author={Šimoňák, Slavomír and Tomášek, Martin}, year={2019}, month={Feb.}, pages={1464–1484} }