Search Sciweavers | Sciweavers

969 search results - page 104 / 194

» Recursive Petri nets

click to vote

ISSE
2008

70views Security Privacy» more ISSE 2008»

UML behavioral consistency checking using instantiable Petri nets

13 years 10 months ago

Download www.artist-embedded.org

Yann Thierry-Mieg, Lom-Messan Hillah

claim paper

Read More »

click to vote

JISE
2008

109views more JISE 2008»

An Approach for Synthesis Petri Nets for Modeling and Verifying Composite Web Service

13 years 10 months ago

Download www.iis.sinica.edu.tw

Zhijun Ding, Junli Wang, Changjun Jiang

claim paper

Read More »

click to vote

DEDS
2007

62views more DEDS 2007»

Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches

13 years 10 months ago

Download www.irccyn.ec-nantes.fr

Bernard Berthomieu, Didier Lime, Olivier H. Roux, ...

claim paper

Read More »

click to vote

JIRS
2006

63views more JIRS 2006»

A Systematic Stochastic Petri Net Based Methodology for Transformer Fault Diagnosis and Repair Actions

13 years 10 months ago

Download users.ntua.gr

Pavlos S. Georgilakis, John A. Katsigiannis, Kimon...

claim paper

Read More »

click to vote

JISE
2006

45views more JISE 2006»

Knitting Technique with TP-PT Generations for Petri Net Synthesis

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers