Search Sciweavers | Sciweavers

350 search results - page 17 / 70

» Petri Net Analysis Using Invariant Generation

click to vote

CMSB
2009
Springer

172views Applied Computing» more CMSB 2009»

On the Use of Stochastic Petri Nets in the Analysis of Signal Transduction Pathways for Angiogenesis Process

14 years 1 months ago

Download www.di.unito.it

In this paper we consider the modeling of a selected portion of signal transduction events involved in the angiogenesis process. The detailed model of this process contains a large...

Lucia Napione, Daniele Manini, Francesca Cordero, ...

claim paper

Read More »

click to vote

HICSS
1995
IEEE

110views Biometrics» more HICSS 1995»

Reliability analysis of CSP specifications using Petri nets and Markov processes

14 years 1 months ago

Download www.csm.ornl.gov

In our research we are developing methodologiesand tools to permit stochastic analyses of CSP-based system specifications. In this regard, we have been developing morphismsbetween...

Krishna M. Kavi, Frederick T. Sheldon, Behrooz Shi...

claim paper

Read More »

click to vote

ICSE
1998
IEEE-ACM

165views Software Engineering» more ICSE 1998»

Modeling and Analysis of a Virtual Reality System with Time Petri Nets

14 years 2 months ago

Download www.evl.uic.edu

The design, implementation, and testing of virtual environments is complicated by the concurrency and realtime features of these systems. Therefore, the development of formal meth...

Rajesh Mascarenhas, Dinkar Karumuri, Ugo A. Buy, R...

claim paper

Read More »

click to vote

QEST
2009
IEEE

104views Modeling and Simulation» more QEST 2009»

Petri Net Analysis Using Decision Diagrams

14 years 4 months ago

Download www.qest.org

Gianfranco Ciardo

claim paper

Read More »