Search Sciweavers | Sciweavers

941 search results - page 124 / 189

» Haskell-Coloured Petri Nets

112

click to vote

ISSE
2008

70views Security Privacy» more ISSE 2008»

UML behavioral consistency checking using instantiable Petri nets

15 years 6 months ago

Download www.artist-embedded.org

Yann Thierry-Mieg, Lom-Messan Hillah

claim paper

Read More »

142

click to vote

JISE
2008

109views more JISE 2008»

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

15 years 6 months ago

Download www.iis.sinica.edu.tw

Zhijun Ding, Junli Wang, Changjun Jiang

claim paper

Read More »

125

click to vote

DEDS
2007

62views more DEDS 2007»

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

15 years 6 months ago

Download www.irccyn.ec-nantes.fr

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

claim paper

Read More »

125

click to vote

JIRS
2006

63views more JIRS 2006»

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

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

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers