#### Filter Results:

- Full text PDF available (9)

#### Publication Year

2003

2012

- This year (0)
- Last 5 years (1)
- Last 10 years (7)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

Time management is a critical component of workflow-based process. Important aspects of time management include: the planning for the workflow process execution on time, estimating workflow execution duration, avoiding deadline violations, and satisfying all time constraints specified. In this paper, we apply Time Petri Nets to model the temporal behavior… (More)

In this paper, we propose a method for building a Timed Transition Graph (TTG) that uses a single clock from the state class graph of a bounded time Petri Net (TPN). To build this TTG a special state class construction available in Tina is used. This structure can be used to calculate “quantitative” temporal properties for the worst case scenario. It is… (More)

- Carlos Platero, José Manuel Poncela, +4 authors Ernesto Santos
- ISBI
- 2008

The detection and characterisation of hepatic lesions is fundamental in clinical practice, from the diagnosis stages to the evolution of the therapeutic response. Hepatic magnetic resonance is a usual practice in the localization and quantification of lesions. Automatic segmentation of the liver is illustrated in Ti weighted images. This task is necessary… (More)

- María C. Tobar, Carlos Platero, Pedro M. González, Gabriel Asensio
- IbPRIA
- 2007

Mathematical Morphology is a powerful non-linear image analysis techniques based on lattice theory. The definitions of morphological operators need an ordered lattice algebraic structure. In order to apply these operators to the colour images it is required, on one hand the choice of a suitable colour space representation and on the other hand, to establish… (More)

- Mart́ı Sánchez Fibla, Javier Larrosa Bondia, Pedro M. González
- 2006

This thesis presents a collection of new algorithms for solving Constraint Satisfaction Problems (CSP) and Weighted Constraint Satisfaction Problems (WCSP). We pursue two main objectives: enhancing solving methods for WCSP, which are of recent development, and narrowing the gap between search and inference methods. The first part of the thesis is devoted to… (More)

states represent a set of concrete states of the TPN model. The firing interval set is also known as the firing domain D. The firing of transition ti leads the system to another state, at time τ + θ, which will be denoted as: (ti, θ) S ―――→ S' (3) Υ(s) denotes the set of all firing transitions in state s, and Υ(s) ⊆ enb(M). The firing rule is the base to… (More)

It is well known that automated systems have to be carefully evaluated to result in good specifications that lead to useful systems. Therefore, that implies that the early design phase, composed by requirement elicitation and requirements analysis should be very precise to spot contradictions, misleading conditions, lack of constraints, and other typical… (More)

Since the beginning of this century two major tendencies in the state-of-art of Petri Nets emerged: one is the confirmation of Petri Nets as a sound formalism to model several discrete systems in several areas of knowledge, since biological and chemical systems up to the control systems applied to manufacturing and automated process in general; another… (More)

The present work presents a preliminary proposal of unification between classical Petri Nets and objects based on two classes: the activity class and the box class. Eventually one of them can be interpreted as passive or active object, but both can equally contain attributes and methods specified by net formalism. So far, the result is a classical net… (More)

- ‹
- 1
- ›