Sciweavers

36 search results - page 2 / 8
» A Petri Net Based Software Architecture for UAV Simulation
Sort
View
MASCOTS
2008
13 years 7 months ago
Modeling Software Contention using Colored Petri Nets
Commercial servers, such as database or application servers, often attempt to improve performance via multithreading. Improper multi-threading architectures can incur contention, ...
Nilabja Roy, Akshay Dabholkar, Nathan Hamm, Lawren...
ETFA
2008
IEEE
13 years 12 months ago
Component based colored Petri net model for Ethernet based networked control systems
This paper presents a novel colored Petri net model for the simulation of fully-switched Ethernet based networked control systems (NCS). The model of the NCS is built from models ...
Abouelabbas Ghanaim, Georg Frey
HCSE
2010
13 years 4 months ago
The APEX Framework: Prototyping of Ubiquitous Environments Based on Petri Nets
Abstract. The user experience of ubiquitous environments is a determining factor in their success. The characteristics of such systems must be explored as early as possible to anti...
José Luís Silva, Óscar R. Rib...
KBSE
2009
IEEE
14 years 6 days ago
A Petri Net Based Debugging Environment for QVT Relations
—In the Model-Driven Architecture (MDA) paradigm the Query/View/Transformation (QVT) standard plays a vital role for model transformations. Especially the high-level declarative ...
Manuel Wimmer, Gerti Kappel, Johannes Schönb&...
ICPPW
2008
IEEE
13 years 12 months ago
Energy Modeling of Processors in Wireless Sensor Networks Based on Petri Nets
Power minimization is a serious issue in wireless sensor networks to extend the lifetime and minimize costs. However, in order to gain an accurate understanding of issues regardin...
Ali Shareef, Yifeng Zhu