Sciweavers

181 search results - page 12 / 37
» Petri net markup language: implementation and application
Sort
View
IAJIT
2010
95views more  IAJIT 2010»
14 years 10 months ago
Modelling of Updating Moving Object Database Using Timed Petri Net Model
: Tracking moving objects is one of the most common requirements for many location-based applications. The location of a moving object changes continuously but the database locatio...
Hatem Abdul-Kader, Warda El-Kholy
ENTCS
2006
112views more  ENTCS 2006»
14 years 11 months ago
A Petri-Net Based Reflective Framework for the Evolution of Dynamic Systems
Nowadays, software evolution is a very hot topic. Many applications need to be updated or extended with new characteristics during their lifecycle. Software evolution is character...
Lorenzo Capra, Walter Cazzola
TOPNOC
2008
14 years 11 months ago
Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization
State spaces are commonly used representations of system behavior. A state space may be derived from a model of system behavior but can also be obtained through process mining. For...
H. M. W. (Eric) Verbeek, A. Johannes Pretorius, Wi...
CODES
2008
IEEE
15 years 1 months ago
A performance-oriented hardware/software partitioning for datapath applications
This article proposes a hardware/software partitioning method targeted to performance-constrained systems for datapath applications. Exploiting a platform based design, a Timed Pe...
Laura Frigerio, Fabio Salice
84
Voted
ISCIS
2004
Springer
15 years 5 months ago
Modelling Role-Playing Games Using PEPA Nets
Abstract. We present a performance modelling case study of a distributed multi-player game expressed in the PEPA nets modelling language. The case study provides a modern complex d...
Stephen Gilmore, Leïla Kloul, Davide Piazza