ACP Semantics for Petri Nets
Keywords:Petri nets, process algebra ACP, formal methods, semantics, specification, transformation
AbstractThe 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.
Download data is not yet available.
How to Cite
Šimoňák, S., & Tomášek, M. (2019). ACP Semantics for Petri Nets. COMPUTING AND INFORMATICS, 37(6), 1464–1484. Retrieved from https://www.cai.sk/ojs/index.php/cai/article/view/2018_6_1464