941 search results - page 15 / 189 » Petri Nets Are Dioids |
159
click to vote
CCE
2008
15 years 5 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...
133
click to vote
IAJIT
2010
15 years 4 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...
245
click to vote
ICSEA
2009
IEEE
15 years 3 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 ...
142
click to vote
ENTCS
2002
15 years 5 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...
186
click to vote
FORMATS
2010
Springer
15 years 4 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...