Regions, as introduced by Ehrenfeucht and Rozenberg more than thirty years ago, have been used as a fundamental tool in synthesis problems, where a Petri net of a specific type must be built from a specification given in terms of a transition system. Some topics emerged in the research on regions are discussed, and a few open problems are stated. In particular, the paper focuses on three areas: (1) the notion of ‘type of nets’ as a tool for unifying the theory of regions, and as a notion leading to new variants of Petri nets; (2) the algebraic aspects of region theory; (3) the proposal of a new type of regions, inspired by reaction systems, and the potential for studying problems of synthesis of reaction systems.

Bernardinello, L. (2021). Topics in Region Theory and Synthesis Problems. In Application and Theory of Petri Nets and Concurrency 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23–25, 2021, Proceedings (pp.3-16). Springer Science and Business Media Deutschland GmbH [10.1007/978-3-030-76983-3_1].

Topics in Region Theory and Synthesis Problems

Bernardinello, L
2021

Abstract

Regions, as introduced by Ehrenfeucht and Rozenberg more than thirty years ago, have been used as a fundamental tool in synthesis problems, where a Petri net of a specific type must be built from a specification given in terms of a transition system. Some topics emerged in the research on regions are discussed, and a few open problems are stated. In particular, the paper focuses on three areas: (1) the notion of ‘type of nets’ as a tool for unifying the theory of regions, and as a notion leading to new variants of Petri nets; (2) the algebraic aspects of region theory; (3) the proposal of a new type of regions, inspired by reaction systems, and the potential for studying problems of synthesis of reaction systems.
No
paper
Petri nets; concurrency theory; region theory; transition systems
English
42nd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2021 - 23 June 2021 through 25 June 2021
9783030769826
Bernardinello, L. (2021). Topics in Region Theory and Synthesis Problems. In Application and Theory of Petri Nets and Concurrency 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23–25, 2021, Proceedings (pp.3-16). Springer Science and Business Media Deutschland GmbH [10.1007/978-3-030-76983-3_1].
Bernardinello, L
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/395839
Citazioni
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
Social impact