941 search results - page 15 / 189 » Petri Nets Are Dioids |
100
click to vote
CCE
2008
14 years 11 months ago
2008
Scheduling of processes in mixed batch/continuous plants, due to their hybrid nature can become very complex. This paper presents the Timed Hybrid Petri net (THPN) as a suitable t...
IAJIT
2010
14 years 10 months ago
2010
: 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...
157
click to vote
ICSEA
2009
IEEE
14 years 9 months ago
2009
IEEE
A scenario can be used to describe a possible instantiation of a given business use case and can be expressed for example as a list of steps written in natural language, or by an ...
ENTCS
2002
14 years 11 months ago
2002
We present a new approach to the modelling of time constrained systems. It is based on untimed high-level Petri nets using the concept of causal time. With this concept, the progr...
120
click to vote
FORMATS
2010
Springer
14 years 9 months ago
2010
Springer
This paper considers the model of Time Petri Nets (TPNs) extended with time parameters and its use to perform on-line diagnosis of distributed systems. We propose to base the metho...