Sciweavers

10 search results - page 1 / 2

» apn 2001

111

APN
2001
Springer

94views Artificial Intelligence» more APN 2001»

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

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

114

APN
2001
Springer

95views Artificial Intelligence» more APN 2001»

A Concurrent Semantics of Static Exceptions in a Parallel Programming Language

15 years 7 months 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 »

88

APN
2001
Springer

105views Artificial Intelligence» more APN 2001»

Generalized Conditions for Liveness Enforcement and Deadlock Prevention in Petri Nets

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

82

APN
2001
Springer

86views Artificial Intelligence» more APN 2001»

Towards a Notion of Distributed Time for Petri Nets

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

127

APN
2001
Springer

114views Artificial Intelligence» more APN 2001»

Partial Order Verification of Programmable Logic Controllers

15 years 6 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 »