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

15 years 10 months ago

Download www.diee.unica.it

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

claim paper

Read More »

103

click to vote

CDC
2009
IEEE

98views Control Systems» more CDC 2009»

Diagnosability analysis of unbounded Petri nets

15 years 10 months ago

Download www.diee.unica.it

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

claim paper

Read More »

130

click to vote

ICCCI
2009
Springer

122views Intelligent Agents» more ICCCI 2009»

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

15 years 10 months ago

Download nandu.informatik.tu-freiberg.de

Rustam Tagiew

claim paper

Read More »

107

click to vote

APN
2001
Springer

105views Artificial Intelligence» more APN 2001»

Generalized Conditions for Liveness Enforcement and Deadlock Prevention in Petri Nets

15 years 10 months ago

Download www.letu.edu

Marian V. Iordache, Panos J. Antsaklis

claim paper

Read More »

139

click to vote

APN
2001
Springer

94views Artificial Intelligence» more APN 2001»

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

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers