Sciweavers

10 search results - page 1 / 2

» apn 2001

18

APN
2001
Springer

94views Artificial Intelligence» more APN 2001»

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

14 years 15 hour ago

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

Download www.tcs.hut.fi

Timo Latvala

claim paper

Read More »

18

APN
2001
Springer

95views Artificial Intelligence» more APN 2001»

A Concurrent Semantics of Static Exceptions in a Parallel Programming Language

14 years 15 hour ago

A Concurrent Semantics of Static Exceptions in a Parallel Programming Language

Download hal.archives-ouvertes.fr

Hanna Klaudel, Franck Pommereau

claim paper

Read More »

14

APN
2001
Springer

105views Artificial Intelligence» more APN 2001»

Generalized Conditions for Liveness Enforcement and Deadlock Prevention in Petri Nets

14 years 15 hour 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 »

13

APN
2001
Springer

86views Artificial Intelligence» more APN 2001»

Towards a Notion of Distributed Time for Petri Nets

14 years 15 hour ago

Towards a Notion of Distributed Time for Petri Nets

Download www.brics.dk

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

claim paper

Read More »

17

APN
2001
Springer

114views Artificial Intelligence» more APN 2001»

Partial Order Verification of Programmable Logic Controllers

13 years 11 months ago

Partial Order Verification of Programmable Logic Controllers

Download www-dssz.informatik.tu-cottbus.de

We address the verification of programmable logic controllers (PLC). In our approach, a PLC program is translated into a special type of colored Petri net, a so-called register net...

Peter Deussen

claim paper

Read More »

« Prev « First page 1 / 2 Last » Next »