Search Sciweavers | Sciweavers

305 search results - page 18 / 61

» Petri Net Analysis Using Decision Diagrams

click to vote

HICSS
1995
IEEE

110views Biometrics» more HICSS 1995»

Reliability analysis of CSP specifications using Petri nets and Markov processes

15 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

EOR
2008

97views more EOR 2008»

Decision making with hybrid influence diagrams using mixtures of truncated exponentials

14 years 9 months ago

Download web.ku.edu

Mixtures of truncated exponentials (MTE) potentials are an alternative to discretization for representing continuous chance variables in influence diagrams. Also, MTE potentials c...

Barry R. Cobb, Prakash P. Shenoy

claim paper

Read More »

Voted

ICSE
1998
IEEE-ACM

165views Software Engineering» more ICSE 1998»

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

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

103

click to vote

PNPM
1991

216views Artificial Intelligence» more PNPM 1991»

Approximate Performability Analysis using Generalized Stochastic Petri Nets

15 years 29 days ago

Download doc.utwente.nl

Boudewijn R. Haverkort

claim paper