In: Computing and Informatics, vol. 37, no. 6
S. Šimoňák - M. Tomášek
Details:
Year, pages: 2019, 1464 - 1484
Language: eng
Keywords:
Petri nets, process algebra ACP, formal methods, semantics, specification, transformation
Document type: article
About article:
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.
How to cite:
ISO 690:
Šimoňák, S., Tomášek, M. 2019. ACP Semantics for Petri Nets. In Computing and Informatics, vol. 37, no.6, pp. 1464-1484. 1335-9150. DOI: https://doi.org/10.4149/cai_2018_6_1464
APA:
Šimoňák, S., Tomášek, M. (2019). ACP Semantics for Petri Nets. Computing and Informatics, 37(6), 1464-1484. 1335-9150. DOI: https://doi.org/10.4149/cai_2018_6_1464
About edition:
Publisher: Ústav informatiky SAV
Published: 15. 2. 2019