Search Sciweavers | Sciweavers

31

APN
2001
Springer

114views Artificial Intelligence» more APN 2001»

Partial Order Verification of Programmable Logic Controllers

14 years 2 months ago

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 »

30

click to vote

APN
2005
Springer

106views Artificial Intelligence» more APN 2005»

Particle Petri Nets for Aircraft Procedure Monitoring Under Uncertainty

14 years 4 months ago

Download www.cert.fr

In the framework of the study and analysis of new ﬂight procedures, we propose a new Petri net-based formalism to represent both continuous and discrete evolutions and uncertaint...

Charles Lesire, Catherine Tessier

claim paper

Read More »

35

click to vote

SERP
2004

196views Software Engineering» more SERP 2004»

A Petri Net Based Software Architecture for UAV Simulation

14 years 8 days ago

Download www.homepages.dsu.edu

This paper presents a Petri net-based hierarchical architecture for multiple Unmanned Aerial Vehicle (UAV) simulations in order to facilitate rapid prototyping via visual modeling...

Dianxiang Xu, Priti Borse, Ken Grigsby, Kendall E....

claim paper

Read More »

36

click to vote

TSMC
1998

152views more TSMC 1998»

Discrete event representation of qualitative models using Petri nets

13 years 10 months ago

Download www.diee.unica.it

—The paper discusses how Petri nets may be used for the qualitative modeling of physical systems. The qualitative state of a system is represented by the marking of the net. The ...

Alessandra Fanni, Alessandro Giua

claim paper

Read More »

34

click to vote

DFG
2003
Springer

85views Operating System» more DFG 2003»

Petri Net Transformations in the "Petri Net Baukasten"

14 years 4 months ago

Download www.bbraatz.eu

Benjamin Braatz, Hartmut Ehrig, Milan Urbás...

claim paper