Search Sciweavers | Sciweavers

941 search results - page 55 / 189

» Haskell-Coloured Petri Nets

click to vote

CDC
2009
IEEE

133views Control Systems» more CDC 2009»

Diagnosability of bounded Petri nets

14 years 1 months ago

Download www.diee.unica.it

Maria Paola Cabasino, Alessandro Giua, Carla Seatz...

claim paper

Read More »

click to vote

CDC
2009
IEEE

98views Control Systems» more CDC 2009»

Diagnosability analysis of unbounded Petri nets

14 years 1 months ago

Download www.diee.unica.it

Maria Paola Cabasino, Alessandro Giua, Stép...

claim paper

Read More »

click to vote

ICCCI
2009
Springer

122views Intelligent Agents» more ICCCI 2009»

On Multi-agent Petri Net Models for Computing Extensive Finite Games

14 years 1 months ago

Download nandu.informatik.tu-freiberg.de

Rustam Tagiew

claim paper

Read More »

click to vote

APN
2001
Springer

105views Artificial Intelligence» more APN 2001»

Generalized Conditions for Liveness Enforcement and Deadlock Prevention in Petri Nets

14 years 1 months ago

Download www.letu.edu

Marian V. Iordache, Panos J. Antsaklis

claim paper

Read More »

click to vote

APN
2001
Springer

94views Artificial Intelligence» more APN 2001»

Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers