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.File | Size | Format | |
---|---|---|---|
paper.pdf Solo gestori archivio
Type: versione pre-print
Size 345.88 kB
Format Adobe PDF
|
345.88 kB | Adobe PDF | & nbsp; View / Open Request a copy |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.