ACP Semantics for Petri Nets
Keywords:
Petri nets, process algebra ACP, formal methods, semantics, specification, transformationAbstract
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.Downloads
Download data is not yet available.
Downloads
Published
2019-02-04
How to Cite
Šimoňák, S., & Tomášek, M. (2019). ACP Semantics for Petri Nets. Computing and Informatics, 37(6), 1464–1484. Retrieved from http://147.213.75.17/ojs/index.php/cai/article/view/2018_6_1464
Issue
Section
Articles