Search Sciweavers | Sciweavers

287 search results - page 23 / 58

» Modular Analysis of Petri Nets

119

click to vote

HICSS
1995
IEEE

110views Biometrics» more HICSS 1995»

Reliability analysis of CSP specifications using Petri nets and Markov processes

15 years 7 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 »

108

click to vote

QEST
2009
IEEE

104views Modeling and Simulation» more QEST 2009»

Petri Net Analysis Using Decision Diagrams

15 years 11 months ago

Download www.qest.org

Gianfranco Ciardo

claim paper

Read More »

112

click to vote

APN
2009
Springer

144views Artificial Intelligence» more APN 2009»

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

15 years 11 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

15 years 9 months ago

Download www.diee.unica.it

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

claim paper

Read More »

101

click to vote

ISSTA
1996
ACM

92views Software Engineering» more ISSTA 1996»

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

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers