TY - JOUR
T1 - General composition for Symmetric Net arc functions with applications
AU - Capra, L.
AU - de Pierro, M.
AU - Franceschinis, G.
N1 - Publisher Copyright:
Copyright © 2021 for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).
PY - 2021
Y1 - 2021
N2 - Structural analysis of High-Level Petri Nets is a powerful technique, but it is less supported than in PNs. A symbolic calculus for Symmetric Nets (SNs) has been developed and implemented, which allows one to check structural properties directly on SNs without unfolding: however it is limited to a particular form of composition, restricted to functions that map to sets. To complete the calculus for more general applications the ability to solve the composition of general SN arc expressions in a symbolic way is required. In literature, a few papers show how to solve this operation for a restricted category of SN. In this paper, we formalize the algebraic composition of general SN bag-functions. Some applications are also discussed.
AB - Structural analysis of High-Level Petri Nets is a powerful technique, but it is less supported than in PNs. A symbolic calculus for Symmetric Nets (SNs) has been developed and implemented, which allows one to check structural properties directly on SNs without unfolding: however it is limited to a particular form of composition, restricted to functions that map to sets. To complete the calculus for more general applications the ability to solve the composition of general SN arc expressions in a symbolic way is required. In literature, a few papers show how to solve this operation for a restricted category of SN. In this paper, we formalize the algebraic composition of general SN bag-functions. Some applications are also discussed.
UR - http://www.scopus.com/inward/record.url?scp=85111035024&partnerID=8YFLogxK
M3 - Conference article
AN - SCOPUS:85111035024
SN - 1613-0073
VL - 2907
SP - 135
EP - 154
JO - CEUR Workshop Proceedings
JF - CEUR Workshop Proceedings
T2 - 2021 International Workshop on Petri Nets and Software Engineering, PNSE 2021
Y2 - 25 June 2021
ER -