Proceedings of the Symposium on Applied Computing 2017
DOI: 10.1145/3019612.3019806
|View full text |Cite
|
Sign up to set email alerts
|

Petri nets and dynamic causality for service-oriented computations

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
1
1

Citation Types

0
17
0

Year Published

2018
2018
2024
2024

Publication Types

Select...
4
3
1

Relationship

5
3

Authors

Journals

citations
Cited by 14 publications
(17 citation statements)
references
References 13 publications
0
17
0
Order By: Relevance
“…The conditions imposed on CNs share motivations with those posed on occurrence nets, unravel nets [23], [6], [7] and flow nets [5], which are aimed at explaining computations without resorting to firing sequences. The first condition, which can be equivalently written as ∀t ∈ T. ∀s ∈ • t. • s = ∅, implies that causal dependencies in CNs do not arise because of the flow relation since t • ∩ • t = ∅ holds for all t, t ∈ T .…”
Section: Causal Netsmentioning
confidence: 99%
“…The conditions imposed on CNs share motivations with those posed on occurrence nets, unravel nets [23], [6], [7] and flow nets [5], which are aimed at explaining computations without resorting to firing sequences. The first condition, which can be equivalently written as ∀t ∈ T. ∀s ∈ • t. • s = ∅, implies that causal dependencies in CNs do not arise because of the flow relation since t • ∩ • t = ∅ holds for all t, t ∈ T .…”
Section: Causal Netsmentioning
confidence: 99%
“…Unravel nets. Unravel nets [9] are nets in which each computation gives rise to an acyclic subnet where each place has at most one incoming arc (hence an occurrence net). Given a net N = P, T, F, m 0 be a net and let T ⊆ T be a subset of transitions, then N T = P , T , F , m 0 where…”
Section: -Occurrence Occurrence and Unravel Nets Seen As Spread Netsmentioning
confidence: 99%
“…Another way to address this problem is to define an equivalence on some behaviors of (safe) Petri nets, which implies that the data structure adopted cannot be any longer the one devised for unfoldings or prefixes. The notion of unravel net introduced in [9] and [10] goes in this direction requiring that each execution is a partial order, but the overall structure gathering all executions does not need to be a partial order. Focussing on the dependencies to obtain a more compact data structure implies that the net representing more concisely the non sequential behaviours has to fulfill some properties that are posed on the net as a whole, e.g.…”
Section: Introductionmentioning
confidence: 99%
“…Another way to address this problem is to define an equivalence on some behaviors of (safe) Petri nets, which implies that the data structure adopted cannot be any longer the one devised for unfoldings or prefixes. The notion of unravel net introduced in [3] and [2] goes in this direction requiring that each execution is a partial order, but the overall structure does not need to be a partial order. Overcoming the request that (at least locally) the behavior should be represented using a partial order has led to the introduction of a reveal relation playing the role of causality [1,9].…”
Section: Introductionmentioning
confidence: 99%