211 search results - page 11 / 43 » Causal Behaviours and Nets |
FUIN
2006
14 years 11 months ago
2006
We study concurrent processes modelled as workflow Petri nets extended with resource constraints. We define a behavioural correctness criterion called soundness: given a sufficient...
ICSOC
2007
Springer
15 years 5 months ago
2007
Springer
While OWL-S advertisements provide a rich (ontological and behavioural) description of Web services, there are no tools that support formal analyses of OWL-S services. In this pape...
107
click to vote
FCT
1995
Springer
15 years 3 months ago
1995
Springer
The concatenable processes of a Petri net N can be characterized ly as the arrows of a symmetric monoidal category P[N]. Yet, this is only a partial axiomatization, since P[N] is b...
109
click to vote
ACTA
2000
14 years 11 months ago
2000
Symmetric net structure yields symmetric net behaviour. Thus, knowing the symmetries of a net, redundant calculations can be skipped. We present a framework for the calculation of ...
123
click to vote
ACAL
2009
Springer
15 years 3 months ago
2009
Springer
Societal behaviour can be studied at a causal level by perturbing a stable multi-agent model with new microscopic behaviours and observing the statistical response over an ensembl...