ACP Semantics for Petri Nets

Authors

  • 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

Keywords:

Petri nets, process algebra ACP, formal methods, semantics, specification, transformation

Abstract

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 https://www.cai.sk/ojs/index.php/cai/article/view/2018_6_1464

Issue

Vol. 37 No. 6 (2018): Computing and Informatics

Section

Articles

Most read articles by the same author(s)