Sciweavers

630 search results - page 32 / 126

» Oclets - Scenario-Based Modeling with Petri Nets

143

STTT
2008

83views more STTT 2008»

Improving state class constructions for CTL* model checking of time Petri nets

15 years 5 months ago

Improving state class constructions for CTL* model checking of time Petri nets

Download www.bcs.org

Rachid Hadjidj, Hanifa Boucheneb

claim paper

Read More »

144

JIB
2010

74views more JIB 2010»

A New Approach for Modelling Gene Regulatory Networks Using Fuzzy Petri Nets

15 years 1 months ago

A New Approach for Modelling Gene Regulatory Networks Using Fuzzy Petri Nets

Download journal.imbio.de

Raed I. Hamed, S. I. Ahson, R. Parveen

claim paper

Read More »

147

TCSV
2010

110views Computational Biology» more TCSV 2010»

Video Event Modeling and Recognition in Generalized Stochastic Petri Nets

15 years 1 months ago

Video Event Modeling and Recognition in Generalized Stochastic Petri Nets

Download www.cs.technion.ac.il

Gal Lavee, Michael Rudzsky, Ehud Rivlin, Artyom Bo...

claim paper

Read More »

62

IJKBO
2011

44views more IJKBO 2011»

Modeling Operational Robustness and Resiliency with High-Level Petri Nets

14 years 10 months ago

Modeling Operational Robustness and Resiliency with High-Level Petri Nets

Download tavana.us

Madjid Tavana, Timothy E. Busch, Eleanor L. Davis

claim paper

Read More »

169

IJCSA
2006

77views more IJCSA 2006»

Formal Approach for the Coherence Control of SMIL Documents

15 years 6 months ago

Formal Approach for the Coherence Control of SMIL Documents

Download www.tmrfindia.org

This paper presents a formal approach based on Time Petri net (TPN) for the coherence control of SMIL documents. TPN model has been widely used to specify real time systems. The q...

S. Mazouz, D. Dahmani, L. Kaddouri

claim paper

Read More »

« Prev « First page 32 / 126 Last » Next »