In: Computing and Informatics, vol. 37, no. 6
S. Šimoňák - M. Tomášek
Detaily:
Rok, strany: 2019, 1464 - 1484
Jazyk: eng
Kľúčové slová:
Petri nets, process algebra ACP, formal methods, semantics, specification, transformation
Typ dokumentu: article
O článku:
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.
Ako citovať:
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
O vydaní:
Vydavateľ: Ústav informatiky SAV
Publikované: 15. 2. 2019