Sciweavers

969 search results - page 93 / 194

» Recursive Petri nets

18

CDC
2009
IEEE

98views Control Systems» more CDC 2009»

Diagnosability analysis of unbounded Petri nets

14 years 2 months ago

Diagnosability analysis of unbounded Petri nets

Download www.diee.unica.it

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

claim paper

Read More »

24

ICCCI
2009
Springer

122views Intelligent Agents» more ICCCI 2009»

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

14 years 2 months ago

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

Download nandu.informatik.tu-freiberg.de

Rustam Tagiew

claim paper

Read More »

17

APN
2001
Springer

105views Artificial Intelligence» more APN 2001»

Generalized Conditions for Liveness Enforcement and Deadlock Prevention in Petri Nets

14 years 2 months ago

Generalized Conditions for Liveness Enforcement and Deadlock Prevention in Petri Nets

Download www.letu.edu

Marian V. Iordache, Panos J. Antsaklis

claim paper

Read More »

22

APN
2001
Springer

94views Artificial Intelligence» more APN 2001»

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

14 years 2 months ago

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

Download www.tcs.hut.fi

Timo Latvala

claim paper

Read More »

20

APN
2001
Springer

86views Artificial Intelligence» more APN 2001»

Towards a Notion of Distributed Time for Petri Nets

14 years 2 months ago

Towards a Notion of Distributed Time for Petri Nets

Download www.brics.dk

Mogens Nielsen, Vladimiro Sassone, Jirí Srb...

claim paper

Read More »

« Prev « First page 93 / 194 Last » Next »