Sciweavers

2 search results - page 1 / 1
» Using Petri Nets to specify collaborative three dimensional ...
Sort
View
CSCWD
2009
Springer
13 years 11 months ago
Using Petri Nets to specify collaborative three dimensional interaction
This work presents a methodology to formally model and to build collaborative three dimensional interaction tasks in virtual environments using three different tools: Petri Nets, ...
Rafael Rieder, Marcio Sarroglia Pinho, Alberto Bar...
FMSB
2008
129views Formal Methods» more  FMSB 2008»
13 years 5 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...