General Composition for Symmetric Net Arc Functions with Applications

Lorenzo Capra; Massimiliano De Pierro; Giuliana Annamaria FRANCESCHINIS

General Composition for Symmetric Net Arc Functions with Applications

Lorenzo Capra
, Massimiliano De Pierro
, Giuliana Annamaria FRANCESCHINIS

Department of Science and Technological Innovation

Research output: Contribution to conference › Paper › peer-review

Abstract

.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.

Original language	English
Pages	135-154
Number of pages	20
Publication status	Published - 1 Jan 2021
Event	International Workshop on Petri Nets and Software Engineering 2021 - Paris, France Duration: 1 Jan 2021 → …

Conference

Conference	International Workshop on Petri Nets and Software Engineering 2021
City	Paris, France
Period	1/01/21 → …

Access to Document

http://hdl.handle.net/11579/136977

Cite this

@conference{6fd517fe4ac64b038379a4c444793803,

title = "General Composition for Symmetric Net Arc Functions with Applications",

abstract = ".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.",

author = "Lorenzo Capra and Pierro, \{Massimiliano De\} and FRANCESCHINIS, \{Giuliana Annamaria\}",

year = "2021",

month = jan,

day = "1",

language = "English",

pages = "135--154",

note = "International Workshop on Petri Nets and Software Engineering 2021 ; Conference date: 01-01-2021",

}

TY - CONF

T1 - General Composition for Symmetric Net Arc Functions with Applications

AU - Capra, Lorenzo

AU - Pierro, Massimiliano De

AU - FRANCESCHINIS, Giuliana Annamaria

PY - 2021/1/1

Y1 - 2021/1/1

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 - https://iris.uniupo.it/handle/11579/136977

M3 - Paper

SP - 135

EP - 154

T2 - International Workshop on Petri Nets and Software Engineering 2021

Y2 - 1 January 2021

ER -

General Composition for Symmetric Net Arc Functions with Applications

Abstract

Conference

Access to Document

Other files and links

Fingerprint

Cite this