Search Sciweavers | Sciweavers

969 search results - page 13 / 194

» Recursive Petri nets

click to vote

APN
2005
Springer

106views Artificial Intelligence» more APN 2005»

Particle Petri Nets for Aircraft Procedure Monitoring Under Uncertainty

14 years 1 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 »

click to vote

SERP
2004

196views Software Engineering» more SERP 2004»

A Petri Net Based Software Architecture for UAV Simulation

13 years 9 months 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 »

click to vote

TSMC
1998

152views more TSMC 1998»

Discrete event representation of qualitative models using Petri nets

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

click to vote

DFG
2003
Springer

85views Operating System» more DFG 2003»

Petri Net Transformations in the "Petri Net Baukasten"

14 years 23 days ago

Download www.bbraatz.eu

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

claim paper

Read More »