Sciweavers

941 search results - page 52 / 189

» Haskell-Coloured Petri Nets

85

ICRA
2005
IEEE

103views Robotics» more ICRA 2005»

A Petri Net Structure- Based Deadlock Prevention Solution for Sequential Resource Allocation Systems

15 years 11 months ago

A Petri Net Structure- Based Deadlock Prevention Solution for Sequential Resource Allocation Systems

Download webdiis.unizar.es

Fernando Tricas, Fernando García-Vall&eacut...

claim paper

Read More »

140

APN
2005
Springer

78views Artificial Intelligence» more APN 2005»

Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets

15 years 11 months ago

Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets

Download www.i3s.unice.fr

Jean-Paul Comet, Hanna Klaudel, Stéphane Li...

claim paper

Read More »

71

ATAL
2005
Springer

80views Intelligent Agents» more ATAL 2005»

Validation of an agent based system using Petri Nets

15 years 11 months ago

Validation of an agent based system using Petri Nets

Download www.cs.huji.ac.il

Thomas Moncion, Guillaume Hutzler, Patrick Amar

claim paper

Read More »

110

BPM
2005
Springer

82views Business» more BPM 2005»

Modeling and Assessment of Production Printing Workflows Using Petri Nets

15 years 11 months ago

Modeling and Assessment of Production Printing Workflows Using Petri Nets

Download bpm2005.loria.fr

Raju N. Gottumukkala, Tong Sun

claim paper

Read More »

130

BPM
2005
Springer

97views Business» more BPM 2005»

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

15 years 11 months ago

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

Download bpm2005.loria.fr

Kamyar Sarshar, Peter Loos

claim paper

Read More »

« Prev « First page 52 / 189 Last » Next »