Graph transformation systems (GTS) and Petri nets (PN) are central formal models for concurrent/distributed systemsPN are usually considered as instances of GTS, due to the lack of ability to dynamically adapt their structureReversing this perspective, a formal encoding of GTS was recently defined using Symmetric Nets (SN), a High-Level PN formalism which syntactically highlights system behavioural symmetriesThis makes it possible reusing the efficient analysis techniques and tools available for SN, e.g., new achievements in SN structural analysis, which are exploited to characterize valid transformation rulesThis paper is on the same line, but follows a very different approachInstead of directly formalizing GTS in terms of SN, a SN semantics is provided for the classical double-pushout approach, by constructively translating DPO rules to equivalent SN subnetsUsing the native stochastic extension of SN (SSN) permits a for free encoding of stochastic GTS.

Graph transformation systems: a semantics based on (stochastic) symmetric nets / L. Capra (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE). - In: Dependable Software Engineering : Theories, Tools, and Applications / [a cura di] J. Pang, L. Zhang. - Prima edizione. - [s.l] : Springer Science and Business Media Deutschland GmbH, 2020. - ISBN 9783030628215. - pp. 35-51 (( Intervento presentato al 6. convegno International Symposium on Dependable Software Engineering tenutosi a Guangzhou nel 2020 [10.1007/978-3-030-62822-2_3].

Graph transformation systems: a semantics based on (stochastic) symmetric nets

L. Capra
Primo
2020

Abstract

Graph transformation systems (GTS) and Petri nets (PN) are central formal models for concurrent/distributed systemsPN are usually considered as instances of GTS, due to the lack of ability to dynamically adapt their structureReversing this perspective, a formal encoding of GTS was recently defined using Symmetric Nets (SN), a High-Level PN formalism which syntactically highlights system behavioural symmetriesThis makes it possible reusing the efficient analysis techniques and tools available for SN, e.g., new achievements in SN structural analysis, which are exploited to characterize valid transformation rulesThis paper is on the same line, but follows a very different approachInstead of directly formalizing GTS in terms of SN, a SN semantics is provided for the classical double-pushout approach, by constructively translating DPO rules to equivalent SN subnetsUsing the native stochastic extension of SN (SSN) permits a for free encoding of stochastic GTS.
Graph rewriting; Symmetric Nets; Stochastic Models
Settore INF/01 - Informatica
Book Part (author)
File in questo prodotto:
File Dimensione Formato  
Capra2020_Chapter_GraphTransformationSystemsASem.pdf

accesso riservato

Tipologia: Publisher's version/PDF
Dimensione 942.8 kB
Formato Adobe PDF
942.8 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
Pubblicazioni consigliate

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/2434/847698
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact