Search Sciweavers | Sciweavers

287 search results - page 23 / 58

» Modular Analysis of Petri Nets

click to vote

HICSS
1995
IEEE

110views Biometrics» more HICSS 1995»

Reliability analysis of CSP specifications using Petri nets and Markov processes

14 years 4 days 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

QEST
2009
IEEE

104views Modeling and Simulation» more QEST 2009»

Petri Net Analysis Using Decision Diagrams

14 years 3 months ago

Download www.qest.org

Gianfranco Ciardo

claim paper

Read More »

click to vote

APN
2009
Springer

144views Artificial Intelligence» more APN 2009»

DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets

14 years 3 months ago

Download www-dssz.informatik.tu-cottbus.de

Monika Heiner, Martin Schwarick, Alexej Tovchigrec...

claim paper

Read More »

click to vote

CDC
2009
IEEE

98views Control Systems» more CDC 2009»

Diagnosability analysis of unbounded Petri nets

14 years 1 months ago

Download www.diee.unica.it

Maria Paola Cabasino, Alessandro Giua, Stép...

claim paper

Read More »

click to vote

ISSTA
1996
ACM

92views Software Engineering» more ISSTA 1996»

Improving the Accuracy of Petri Net-Based Analysis of Concurrent Programs

14 years 22 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers