Sciweavers

3 search results - page 1 / 1
» Modelling Dynamic Opacity Using Petri Nets with Silent Actio...
Sort
View
50
Voted
IFIP
2004
Springer
15 years 2 months ago
Modelling Dynamic Opacity Using Petri Nets with Silent Actions
Jeremy Bryans, Maciej Koutny, Peter Y. A. Ryan
ICCS
2007
Springer
15 years 3 months ago
Autonomic Workflow Management in the Grid
The autonomic workflow engine enables workflow to be dynamically specified and adapted using Event-Condition-Action rules. A new approach to autonomic execution of workflow process...
Guangsheng Zhang, Changjun Jiang, Jing Sha, Ping S...
FMSB
2008
129views Formal Methods» more  FMSB 2008»
14 years 11 months ago
Rule-Based Modelling, Symmetries, Refinements
Rule-based modelling is particularly effective for handling the highly combinatorial aspects of cellular signalling. The dynamics is described in terms of interactions between part...
Vincent Danos, Jérôme Feret, Walter F...