Search Sciweavers | Sciweavers

1369 search results - page 102 / 274

» On the Semantics of Petri Nets

click to vote

ATAL
2005
Springer

80views Intelligent Agents» more ATAL 2005»

Validation of an agent based system using Petri Nets

14 years 3 months ago

Download www.cs.huji.ac.il

Thomas Moncion, Guillaume Hutzler, Patrick Amar

claim paper

Read More »

click to vote

BPM
2005
Springer

82views Business» more BPM 2005»

Modeling and Assessment of Production Printing Workflows Using Petri Nets

14 years 3 months ago

Download bpm2005.loria.fr

Raju N. Gottumukkala, Tong Sun

claim paper

Read More »

click to vote

BPM
2005
Springer

97views Business» more BPM 2005»

Comparing the Control-Flow of EPC and Petri Net from the End-User Perspective

14 years 3 months ago

Download bpm2005.loria.fr

Kamyar Sarshar, Peter Loos

claim paper

Read More »

click to vote

CONCUR
2005
Springer

98views Distributed And Parallel Com...» more CONCUR 2005»

Merged Processes - A New Condensed Representation of Petri Net Behaviour

14 years 3 months ago

Download www.cs.ncl.ac.uk

Victor Khomenko, Alex Kondratyev, Maciej Koutny, W...

claim paper

Read More »

click to vote

FORMATS
2005
Springer

156views Formal Methods» more FORMATS 2005»

Comparison of the Expressiveness of Timed Automata and Time Petri Nets

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers