#### Filter Results:

- Full text PDF available (47)

#### Publication Year

1986

2016

- This year (0)
- Last 5 years (12)
- Last 10 years (34)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Javier Campos, Giovanni Chiolay, Jos e M. Colom, Manuel Silva
- 1992

A class of synchronized queueing networks with deterministic routing is identiied to be equivalent to a subclass of timed Petri nets called marked graphs. First some structural and behavioral properties of marked graphs are recalled and used to show interesting properties of this class of performance models. In particular, ergodicity is derived from… (More)

- A. Giua, C. Mahulea, L. Recalde, C. Seatzu, M. Silva
- 2006

This paper addresses the optimal control problem of continuous Petri nets under infinite servers semantics. Our goal is to find a control input optimizing a certain cost function that permits the evolution from an initial marking to a desired configuration. The problem is studied through Model Predictive Control (MPC), a control method, extensively used in… (More)

- C. Mahulea, C. Seatzu, M. Silva
- 2009

Continuous Petri nets (conPNs) are an approximation of (discrete) Petri nets (PNs) introduced to cope with the state explosion problem typical of discrete event systems. We consider a free-labeled Petri net model and assume that certain transitions, including all that model faulty behaviors are unobservable, i.e., they are labeled with the empty word. We… (More)

- M. Silva
- 1992

One of the indigenous techniques for the analysis of Petri Net system models is based on its non-negative state equation, bridging convex goemetry and linear programming theories to the theory of Petri Nets. This invited survey brieey overviews some recent developments in the use of linear algebraic techniques for the qualitative (i.e., logical) and… (More)

This paper presents some results concerning the structural analysis of sequential proceses cooperating via message passing through a set of buuers. Both functional | boundedness, deadlock-freeness, liveness, existence of home states | and performance | marking ergodicity, computation of visit ratios and insensitive throughput bounds | properties are… (More)

This paper addresses a sampling problem for timed continuous Petri nets under infinite servers semantics. Different representations of the continuous Petri net system are given, the first two in terms of piecewise linear system and the third one, for the controlled continuous Petri nets systems, in terms of a particular linear constrained system with null… (More)

- C. Mahulea, L. Recalde, M. Silva
- 2006

Continuous Petri nets were introduced as an approximation to deal with the state explosion problem which can appear in discrete event models. When time is introduced, the flow through a fluidified transition can be defined in many ways. The most used in literature are infinite and finite servers semantics. Both can be seen as derived from stochastic Petri… (More)

- Hanife Apaydın-Özkan, Jorge Júlvez, Cristian Mahulea, Manuel Silva
- 2010

A timed distributed continuous Petri net system (DcontPN) is composed of several subsystems which communicate through channels modeled by places. In this work, a reachability control problem for DcontPNs composed of two subsystems is considered. An algorithm is developed to calculate the control inputs for each subsystem. The application of the obtained… (More)

- Carlos J. Perez-Jimenez, Javier Campos, M. Silva
- ICRA
- 1996

We concentrate on a family of discrete event systems obtained from a simple modular design principle that include in a controlled way primitives to deal with concurrency, decisions, synchronization, blocking , and bulk movements of jobs. Due to the functional complexity of such systems, reliable throughput approximation algorithms must be deeply supported… (More)

- Jing Xu, Laura Recalde, Manuel Silva
- 2008

A Lyapunov-function-based control algorithm is proposed for timed continuous Petri Net (contPN) systems working under infinite servers semantics. A timed contPN is a switched linear system and its control signal must be non-negative and upper bounded by a function of system states. An input variable transformation is applied to convert the system to a set… (More)