When dealing with service oriented computations the dependencies among the various distributed activities may be complex and difficult to represent statically. Recently Event Structures where the causality may change dynamically have been introduced and have been related with many other kind of Event Structures (with a particular focus on expressivity). In this paper we relate them to a kind of (labeled) Petri net which turns out to cover these new Event Structures. This relationship empowers the usage of all the available verification tools based on Petri nets, giving practical and usable means for the verification of the complex and distributed system whose behavior is modeled by this kind of event structures.

Petri nets and dynamic causality for service-oriented computations

Casu G.;Pinna G. M.
2017-01-01

Abstract

When dealing with service oriented computations the dependencies among the various distributed activities may be complex and difficult to represent statically. Recently Event Structures where the causality may change dynamically have been introduced and have been related with many other kind of Event Structures (with a particular focus on expressivity). In this paper we relate them to a kind of (labeled) Petri net which turns out to cover these new Event Structures. This relationship empowers the usage of all the available verification tools based on Petri nets, giving practical and usable means for the verification of the complex and distributed system whose behavior is modeled by this kind of event structures.
2017
9781450344869
Contextual petri nets; Dynamic event structur; Petri nets
File in questo prodotto:
File Dimensione Formato  
paper.pdf

Solo gestori archivio

Tipologia: versione pre-print
Dimensione 345.88 kB
Formato Adobe PDF
345.88 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

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/11584/276831
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 10
  • ???jsp.display-item.citation.isi??? ND
social impact