Search Sciweavers | Sciweavers

1019 search results - page 110 / 204

» Transformations of Petri Nets

click to vote

INFORMATICASI
2008

58views more INFORMATICASI 2008»

APC Semantics for Petri Nets

15 years 6 months ago

Download www.informatica.si

Slavomír Simoòák, Stefan Hud&...

claim paper

Read More »

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 »

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