Lumpability Abstractions of Rule based Systems

Jérôme Feret

Description

Niveau: Supérieur
MeCBIC 2010 Lumpability Abstractions of Rule-based Systems Jérôme Feret LIENS (INRIA, ENS, CNRS) Paris, France Thomas Henzinger Institute of Science of Technology Vienna, Austria Heinz Koeppl Ecole Polytechnique Federale de Lausanne Lausanne, Switzerland Tatjana Petrov Ecole Polytechnique Federale de Lausanne Lausanne, Switzerland

• signalling pathways


• federale de lausanne


• quantitative semantics


• rule-based approach


• complexity walls


• site graph


• model easily

Sujets

• École polytechnique

Informations

• Publié par: chaeh
• Nombre de lectures: 42
• Langue: English

Extrait

MeCBIC 2010

Lumpability Abstractions of Rule-based Systems

Jérôme Feret LIENS (INRIA, ENS, CNRS) Paris, France

Heinz Koeppl Ecole Polytechnique Federale de Lausanne Lausanne, Switzerland

Thomas Henzinger Institute of Science of Technology Vienna, Austria

Tatjana Petrov Ecole Polytechnique Federale de Lausanne Lausanne, Switzerland

1.

2.

3.

4.

5.

6.

Overview

Context and motivations

Case studies

Stochastic semantics

Lumpability

Bisimulations

Conclusion

Jérôme Feret

2

August 23, 2010

Jérôme

Feret

Signalling

3

Pathways

Eikuch,

August

2007

23, 2010