Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDManuel Silva 0001
Manuel Silva Suárez
Person information
- affiliation: University of Zaragoza, Spain
Other persons with the same name
- Manuel Silva — disambiguation page
- Manuel Silva 0002 — University of Cordoba, Department of Analytical Chemistry, Spain
- Manuel Silva 0003
![[0000-0002-9061-3497]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0002-9061-3497")
— Universidade Nova de Lisboa, Portugal - Manuel Silva 0004 (aka: Manuel Moreira Silva, Manuel Moreira da Silva) — INESC Porto, Portugal (and 1 more)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2020
[j42]Manuel Navarro-Gutierrez, Jaime A. Fraustro-Valdez, Antonio Ramírez-Treviño, Manuel Silva:
Problematic configurations and choice-join pairs on Mono-T-Semiflow nets: towards the characterization of behavior-structural properties. Discret. Event Dyn. Syst. 30(2): 175-209 (2020)- [i1]Daniel Clavel, Cristian Mahulea, Manuel Silva:
On Liveness Enforcement of Distributed Petri Net Systems. CoRR abs/2012.14199 (2020)
2010 – 2019
- 2019
- [c86]Daniel Clavel, Cristian Mahulea, Manuel Silva:
From Healthcare System Specifications to Formal Models. SMC 2019: 2344-2351 - 2018
- [j41]Manuel Silva:
Special section on the history of Discrete Event Systems. Annu. Rev. Control. 45: 211-212 (2018) - [j40]Manuel Silva:
On the history of Discrete Event Systems. Annu. Rev. Control. 45: 213-222 (2018) - [j39]Alessandro Giua, Manuel Silva Suárez:
Petri nets and Automatic Control: A historical perspective. Annu. Rev. Control. 45: 223-239 (2018) - 2017
- [j38]Estíbaliz Fraca, Jorge Júlvez, Manuel Silva Suárez:
Fluid approximation of Petri net models with relatively small populations. Discret. Event Dyn. Syst. 27(3): 525-546 (2017) - [c85]Daniel Clavel, Cristian Mahulea, Jorge Albareda, Manuel Silva Suárez:
Towards efficient algorithms for planning surgeries in operation rooms. ETFA 2017: 1-8 - 2016
- [c84]Daniel Clavel, Cristian Mahulea, Manuel Silva Suárez:
On liveness enforcement of DSSP net systems. CDC 2016: 3935-3941 - [c83]Daniel Clavel, Cristian Mahulea, Jorge Albareda, Manuel Silva Suárez:
Operation planning of elective patients in an Orthopedic Surgery Department. ETFA 2016: 1-7 - [c82]Manuel Navarro-Gutierrez, Antonio Ramírez-Treviño, Manuel Silva Suárez:
On the duality between firing rate and initial marking variations in TCPN. ETFA 2016: 1-8 - [c81]Manuel Navarro-Gutierrez, Antonio Ramírez-Treviño, Manuel Silva Suárez:
Discontinuities and non-monotonicities in Mono-T-Semiflow timed continuous Petri nets. WODES 2016: 493-500 - 2015
- [j37]Antonio Ramírez-Treviño, Manuel Silva Suárez, Stéphane Lafortune:
Special issue on recent advances in control of discrete event systems. Discret. Event Dyn. Syst. 25(1-2): 3-5 (2015) - [j36]Xu Wang, Cristian Mahulea, Manuel Silva Suárez:
Diagnosis of Time Petri Nets Using Fault Diagnosis Graph. IEEE Trans. Autom. Control. 60(9): 2321-2335 (2015) - [j35]Carlos Renato Vázquez, Manuel Silva Suárez:
Stochastic Hybrid Approximations of Markovian Petri Nets. IEEE Trans. Syst. Man Cybern. Syst. 45(9): 1231-1244 (2015) - [c80]Manuel Navarro-Gutierrez, Antonio Ramírez-Treviño, Manuel Silva:
Bifurcations in Timed Continuous Petri Nets. ADHS 2015: 33-40 - [c79]Xu Wang, Marius Kloetzer, Cristian Mahulea, Manuel Silva Suárez:
Collision avoidance of mobile robots by using initial time delays. CDC 2015: 324-329 - 2014
- [j34]Hanife Apaydin Özkan, Cristian Mahulea, Jorge Júlvez, Manuel Silva Suárez:
A control method for distributed continuous mono-T-semiflow Petri nets. Int. J. Control 87(2): 223-234 (2014) - [j33]Carlos Renato Vázquez, Antonio Ramírez-Treviño, Manuel Silva Suárez:
Controllability of timed continuous Petri nets with uncontrollable transitions. Int. J. Control 87(3): 537-552 (2014) - [c78]Xu Wang, Cristian Mahulea, Manuel Silva Suárez:
Deadlock prevention policy for S3PR - Application to robot planning. ETFA 2014: 1-7 - [c77]Estíbaliz Fraca, Jorge Júlvez, Manuel Silva Suárez:
The "bound Reaching Problem" on the Fluidization of Timed Petri Nets. WODES 2014: 142-148 - [c76]Xu Wang, Cristian Mahulea, Manuel Silva Suárez:
Model Checking on Fault Diagnosis Graph. WODES 2014: 434-439 - 2013
- [j32]Manuel Silva:
Half a century after Carl Adam Petri's Ph.D. thesis: A perspective on the field. Annu. Rev. Control. 37(2): 191-219 (2013) - [c75]Liewei Wang, Cristian Mahulea, Manuel Silva Suárez:
Distributed Model Predictive Control of timed continuous Petri nets. CDC 2013: 6317-6322 - [c74]Xu Wang, Cristian Mahulea, Manuel Silva Suárez:
Decentralized diagnosis based on fault diagnosis graph. ETFA 2013: 1-8 - [c73]Liewei Wang, Cristian Mahulea, Manuel Silva:
Minimum-time flow control of timed continuous Choice-Free nets. ECC 2013: 137-142 - [c72]Xu Wang, Cristian Mahulea, Manuel Silva:
Fault Diagnosis Graph of time Petri nets. ECC 2013: 2459-2464 - [p4]Carlos Renato Vázquez, Cristian Mahulea, Jorge Júlvez, Manuel Silva:
Introduction to Fluid Petri Nets. Control of Discrete-Event Systems 2013: 365-386 - [p3]Cristian Mahulea, Jorge Júlvez, Carlos Renato Vázquez, Manuel Silva:
Continuous Petri Nets: Observability and Diagnosis. Control of Discrete-Event Systems 2013: 387-406 - [p2]Jorge Júlvez, Carlos Renato Vázquez, Cristian Mahulea, Manuel Silva:
Continuous Petri Nets: Controllability and Control. Control of Discrete-Event Systems 2013: 407-428 - [e4]Carla Seatzu, Manuel Silva, Jan H. van Schuppen:
Control of Discrete-Event Systems. Lecture Notes in Control and Information Sciences 433, Springer 2013, ISBN 978-1-4471-4275-1 [contents] - 2012
- [j31]Carlos Renato Vázquez, Manuel Silva Suárez:
Stochastic Continuous Petri Nets: An Approximation of Markovian Net Models. IEEE Trans. Syst. Man Cybern. Part A 42(3): 641-653 (2012) - [j30]Cristian Mahulea, Carla Seatzu, Maria Paola Cabasino, Manuel Silva Suárez:
Fault Diagnosis of Discrete-Event Systems Using Continuous Petri Nets. IEEE Trans. Syst. Man Cybern. Part A 42(4): 970-984 (2012) - [c71]Anna-Lena Meyer, Manuel Silva:
Symmetry Reductions in Timed Continuous Petri Nets Under Infinite Server Semantics. ADHS 2012: 153-159 - [c70]Estíbaliz Fraca, Jorge Júlvez, Manuel Silva Suárez:
Marking homothetic monotonicity and fluidization of untimed Petri nets. WODES 2012: 21-27 - [c69]Liewei Wang, Cristian Mahulea, Jorge Júlvez, Manuel Silva Suárez:
Control of continuous Petri nets using ON/OFF based method. WODES 2012: 47-53 - [c68]Antonio Ramírez-Treviño, Ernesto López-Mellado, Jean-Jacques Lesage, Manuel Silva Suárez:
Preface. WODES 2012: vii-viii - [e3]Antonio Ramírez-Treviño, Ernesto López-Mellado, Jean-Jacques Lesage, Manuel Silva Suárez:
11th International Workshop on Discrete Event Systems, WODES 2012, Guadalajara, Mexico, October 3-5, 2012. International Federation of Automatic Control 2012, ISBN 978-3-902823-28-1 [contents] - 2011
- [j29]Carlos Renato Vázquez, Manuel Silva Suárez:
Timing and liveness in continuous Petri nets. Autom. 47(2): 283-290 (2011) - [j28]Manuel Silva Suárez, Jorge Júlvez, Cristian Mahulea, Carlos Renato Vázquez:
On fluidization of discrete event models: observation and control of continuous Petri nets. Discret. Event Dyn. Syst. 21(4): 427-497 (2011) - 2010
- [j27]Laura Recalde, Serge Haddad, Manuel Silva Suárez:
Continuous Petri Nets: Expressive Power and Decidability Issues. Int. J. Found. Comput. Sci. 21(2): 235-256 (2010) - [j26]Marius Kloetzer, Cristian Mahulea, Calin Belta, Manuel Silva Suárez:
An Automated Framework for Formal Verification of Timed Continuous Petri Nets. IEEE Trans. Ind. Informatics 6(3): 460-471 (2010) - [c67]Carlos Renato Vázquez, Herman Y. Sutarto, René K. Boel, Manuel Silva Suárez:
Hybrid Petri Net Model of a Traffic Intersection in an Urban Network. CCA 2010: 658-664 - [c66]Monika Heiner, Cristian Mahulea, Manuel Silva Suárez:
On the Importance of the Deadlock Trap Property for Monotonic Liveness. ACSD/Petri Nets Workshops 2010: 23-38 - [c65]Liewei Wang, Cristian Mahulea, Jorge Júlvez, Manuel Silva Suárez:
Minimum-time control for structurally persistent continuous Petri Nets. CDC 2010: 2771-2776 - [c64]Hanife Apaydin Özkan, Cristian Mahulea, Jorge Júlvez, Manuel Silva Suárez:
An iterative control method for distributed continuous Petri nets. CDC 2010: 6753-6758 - [c63]Maria Paola Cabasino, Carla Seatzu, Cristian Mahulea, Manuel Silva Suárez:
Fault diagnosis of manufacturing systems using continuous Petri nets. SMC 2010: 534-539 - [c62]Carlos Renato Vázquez, Manuel Silva Suárez:
Timing-dependent boundedness and liveness in continuous Petri nets. WODES 2010: 7-14
2000 – 2009
- 2009
- [j25]Francesco Basile, Laura Recalde, Pasquale Chiacchio, Manuel Silva Suárez:
Closed-loop Live Marked Graphs under Generalized Mutual Exclusion Constraint Enforcement. Discret. Event Dyn. Syst. 19(1): 1-30 (2009) - [j24]Cristian Mahulea, Laura Recalde, Manuel Silva Suárez:
Basic Server Semantics and Performance Monotonicity of Continuous Petri Nets. Discret. Event Dyn. Syst. 19(2): 189-212 (2009) - [c61]Carla Seatzu, Cristian Mahulea, Maria Paola Cabasino, Manuel Silva Suárez:
Fault diagnoser design for untimed continuous Petri nets. CCA/ISIC 2009: 1598-1604 - [c60]Hanife Apaydin Özkan, Jorge Júlvez, Cristian Mahulea, Manuel Silva:
An Efficient Heuristics for Minimum Time Control of Continuous Petri nets. ADHS 2009: 44-49 - [c59]Carlos Renato Vázquez, Manuel Silva:
Hybrid Approximations of Markovian Petri Nets. ADHS 2009: 56-61 - [c58]Alessandro Giua, Cristian Mahulea, Manuel Silva, Janan Zaytoon:
Preface. ADHS 2009: i-ii - [c57]Cristian Mahulea, Carla Seatzu, Maria Paola Cabasino, Laura Recalde, Manuel Silva:
Observer design for untimed continuous Petri nets. ACC 2009: 4765-4770 - [c56]Carlos Renato Vázquez, Manuel Silva Suárez:
Performance control of Markovian Petri nets via fluid models: A stock-level control example. CASE 2009: 30-36 - [c55]Carlos Renato Vázquez, Manuel Silva Suárez:
Piecewise-linear constrained control for timed continuous Petri nets. CDC 2009: 5714-5720 - [c54]Carla Seatzu, Maria Paola Cabasino, Cristian Mahulea, Manuel Silva Suárez:
New results for fault detection of untimed continuous Petri nets. CDC 2009: 6952-6957 - [e2]Alessandro Giua, Cristian Mahulea, Manuel Silva, Janan Zaytoon:
3rd IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2009, Zaragoza, Spain, September 16-18, 2009. IFAC Proceedings Volumes 42(17), Elsevier 2009 [contents] - 2008
- [j23]Jing Xu, Laura Recalde, Manuel Silva Suárez:
Tracking Control of Join-Free Timed Continuous Petri Net Systems under Infinite Servers Semantics. Discret. Event Dyn. Syst. 18(2): 263-283 (2008) - [j22]Cristian Mahulea, Alessandro Giua, Laura Recalde, Carla Seatzu, Manuel Silva Suárez:
Optimal Model Predictive Control of Timed Continuous Petri Nets. IEEE Trans. Autom. Control. 53(7): 1731-1735 (2008) - [j21]Cristian Mahulea, Antonio Ramírez-Treviño, Laura Recalde, Manuel Silva Suárez:
Steady-State Control Reference and Token Conservation Laws in Continuous Petri Net Systems. IEEE Trans Autom. Sci. Eng. 5(2): 307-320 (2008) - [j20]Jorge Júlvez, Emilio Jiménez, Laura Recalde, Manuel Silva Suárez:
On Observability and Design of Observers inTimed Continuous Petri Net Systems. IEEE Trans Autom. Sci. Eng. 5(3): 532-537 (2008) - [c53]Marius Kloetzer, Cristian Mahulea, Calin Belta, Laura Recalde, Manuel Silva Suárez:
Formal analysis of timed continuous Petri nets. CDC 2008: 245-250 - [c52]Carlos Renato Vázquez, Laura Recalde, Manuel Silva Suárez:
Stochastic continuous-state approximation of Markovian Petri net systems. CDC 2008: 901-906 - [c51]Carlos Renato Vázquez, Antonio Ramírez-Treviño, Laura Recalde, Manuel Silva Suárez:
On Controllability of Timed Continuous Petri Nets. HSCC 2008: 528-541 - 2007
- [c50]Laura Recalde, Serge Haddad, Manuel Silva Suárez:
Continuous Petri Nets: Expressive Power and Decidability Issues. ATVA 2007: 362-377 - [c49]Maria Paola Cabasino, Alessandro Giua, Cristian Mahulea, Laura Recalde, Carla Seatzu, Manuel Silva Suárez:
State Estimation of Petri Nets by Transformation. CASE 2007: 194-199 - 2006
- [j19]Jorge Júlvez, Laura Recalde, Manuel Silva Suárez:
Deadlock-Freeness Analysis of Continuous Mono-T-Semiflow Petri Nets. IEEE Trans. Autom. Control. 51(9): 1472-1481 (2006) - [c48]Jing Xu, Laura Recalde, Manuel Silva:
Tracking control of Join-Free Timed continuous Petri Net Systems. ADHS 2006: 30-36 - [c47]Cristian Mahulea, Alessandro Giua, Laura Recalde, Carla Seatzu, Manuel Silva:
On Sampling continuous Timed Petri Nets: Reachability "Equivalence" under Infinite Servers Semantics. ADHS 2006: 37-43 - [c46]Laura Recalde, Cristian Mahulea, Manuel Silva Suárez:
Improving analysis and simulation of continuous Petri Nets. CASE 2006: 9-14 - [c45]Serge Haddad, Laura Recalde, Manuel Silva Suárez:
On the Computational Power of Timed Differentiable Petri Nets. FORMATS 2006: 230-244 - 2005
- [j18]Jorge Júlvez, Laura Recalde, Manuel Silva Suárez:
Steady-state performance evaluation of continuous mono-T-semiflow Petri nets. Autom. 41(4): 605-616 (2005) - [j17]Serge Haddad, Patrice Moreaux, Matteo Sereno, Manuel Silva Suárez:
Product-form and stochastic Petri nets: a structural approach. Perform. Evaluation 59: 313-336 (2005) - [c44]Manuel Silva Suárez, Laura Recalde:
Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control. ICATPN 2005: 26-47 - 2004
- [j16]Manuel Silva Suárez, Laura Recalde:
On fluidification of Petri Nets: from discrete to hybrid and continuous models. Annu. Rev. Control. 28(2): 253-266 (2004) - [c43]Jorge Júlvez, Emilio Jiménez, Laura Recalde, Manuel Silva Suárez:
On Observability in Timed Continuous Petri Net Systems. QEST 2004: 60-69 - [c42]Jorge Júlvez, Emilio Jiménez, Laura Recalde, Manuel Silva Suárez:
Design of observers for timed continuous Petri net systems. SMC (2) 2004: 1678-1685 - [c41]Diego Rodriguez, Armin Zimmermann, Manuel Silva Suárez:
Two heuristics for the improvement of a two-phase optimization method for manufacturing systems. SMC (2) 2004: 1686-1692 - [c40]Emilio Jiménez, Jorge Júlvez, Laura Recalde, Manuel Silva Suárez:
Relaxed continuous views of discrete event systems: considerations on Forrester diagrams and Petri nets. SMC (5) 2004: 4897-4904 - 2003
- [c39]Laura Recalde, Manuel Silva Suárez, Joaquin Ezpeleta, Enrique Teruel:
Petri Nets and Manufacturing Systems: An Examples-Driven Tour. Lectures on Concurrency and Petri Nets 2003: 742-788 - [c38]Manuel Silva, Laura Recalde:
On Fluidification of Petri Nets: From Discrete to Hybrid and Continuous Models. ADHS 2003: 1-12 - [c37]Jorge Júlvez, Laura Recalde, Manuel Silva Suárez:
On Reachability in Autonomous Continuous Petri Net Systems. ICATPN 2003: 221-240 - [c36]Manuel Silva Suárez, Laura Recalde:
Unforced Continuous Petri Nets and Positive Systems. POSTA 2003: 55-62 - 2002
- [j15]Manuel Silva Suárez, Laura Recalde:
Petri nets and integrality relaxations: A view of continuous Petri net models. IEEE Trans. Syst. Man Cybern. Part C 32(4): 314-327 (2002) - 2001
- [j14]Armin Zimmermann, Diego Rodriguez, Manuel Silva Suárez:
A two phase optimization method for Petri net models of manufacturing systems. J. Intell. Manuf. 12(5-6): 409-420 (2001) - [j13]Laura Recalde, Enrique Teruel, Manuel Silva Suárez:
Structure theory of multi-level deterministically synchronized sequential processes. Theor. Comput. Sci. 254(1-2): 1-33 (2001) - [c35]Serge Haddad, Patrice Moreaux, Matteo Sereno, Manuel Silva Suárez:
Structural Characterization and Qualitative Properties of Product Form Stochastic Petri Nets. ICATPN 2001: 164-183 - [c34]Emilio Jiménez, Laura Recalde, Manuel Silva Suárez:
Forrester diagrams and continuous Petri nets: a comparative view. ETFA (2) 2001: 85-94 - [c33]Jane Hillston, Laura Recalde, Marina Ribaudo, Manuel Silva Suárez:
A Comparison of the Expressiveness of SPA and Bounded SPN Models. PNPM 2001: 197-206
1990 – 1999
- 1999
- [j12]Javier Campos, Susanna Donatelli, Manuel Silva Suárez:
Structured Solution of Asynchronously Communicating Stochastic Modules. IEEE Trans. Software Eng. 25(2): 147-165 (1999) - [c32]Laura Recalde, Enrique Teruel, Manuel Silva Suárez:
Autonomous Continuous P/T Systems. ICATPN 1999: 107-126 - [c31]Armin Zimmermann, Diego Rodriguez, Manuel Silva:
Modelling and optimisation of manufacturing systems: Petri nets and simulated annealing. ECC 1999: 3926-3932 - 1998
- [j11]Laura Recalde, Enrique Teruel, Manuel Silva Suárez:
On Linear Algebraic Techniques for Liveness Analysis of P/T Systems. J. Circuits Syst. Comput. 8(1): 223-265 (1998) - [j10]Laura Recalde, Enrique Teruel, Manuel Silva Suárez:
Modeling and analysis of sequential processes that cooperate through buffers. IEEE Trans. Robotics Autom. 14(2): 267-277 (1998) - [c30]Juan Carlos Mugarza, Hervé Camus, Jean-Claude Gentina, Enrique Teruel, Manuel Silva Suárez:
Reducing the computational complexity of scheduling problems in Petri nets by means of transformation rules. SMC 1998: 19-25 - [e1]Jörg Desel, Manuel Silva Suárez:
Application and Theory of Petri Nets 1998, 19th International Conference, ICATPN '98, Lisbon, Portugal, June 22-26, 1998, Proceedings. Lecture Notes in Computer Science 1420, Springer 1998, ISBN 3-540-64677-9 [contents] - 1997
- [j9]Manuel Silva Suárez, Enrique Teruel:
Petri Nets for the Design and Operation of Manufacturing Systems. Eur. J. Control 3(3): 182-199 (1997) - [j8]Enrique Teruel, José Manuel Colom, Manuel Silva Suárez:
Choice-free Petri nets: a model for deterministic concurrent systems with bulk services and arrivals. IEEE Trans. Syst. Man Cybern. Part A 27(1): 73-83 (1997) - [c29]Javier Campos, Manuel Silva Suárez, Susanna Donatelli:
Structured solution of stochastic DSSP systems. PNPM 1997: 91-100 - [c28]Vassilis Mertsiotakis, Manuel Silva Suárez:
Throughput approximation of decision free processes using decomposition. PNPM 1997: 174-182 - 1996
- [j7]Enrique Teruel, Manuel Silva Suárez:
Structure Theory of Equal Conflict Systems. Theor. Comput. Sci. 153(1&2): 271-300 (1996) - [c27]Manuel Silva Suárez, Enrique Teruel, Robert Valette, Hervé Pingaud:
Petri Nets and Production Systems. Petri Nets (2) 1996: 85-124 - [c26]Manuel Silva Suárez, Enrique Teruel, José Manuel Colom:
Linear Algebraic and Linear Programming Techniques for the Analysis of Place or Transition Net Systems. Petri Nets 1996: 309-373 - [c25]Laura Recalde, Enrique Teruel, Manuel Silva Suárez:
{SC}*ECS: A Class of Modular and Hierarchical Cooperating Systems. Application and Theory of Petri Nets 1996: 440-459 - 1995
- [c24]Eike Best, Raymond R. Devillers, Elisabeth Pelz, Arend Rensink, Manuel Silva, Enrique Teruel:
CALIBAN - Esprit Basic Research WG 6067. STRICT 1995: 2-31 - [c23]Laura Recalde, Enrique Teruel, Manuel Silva:
On Well-formedness Analysis: The Case of Deterministic Systems of Sequential Processes. STRICT 1995: 279-293 - 1994
- [j6]Javier Campos, José Manuel Colom, Hauke Jungnitz, Manuel Silva Suárez:
Approximate Throughput Computation of Stochastic Marked Graphs. IEEE Trans. Software Eng. 20(7): 526-535 (1994) - [c22]Enrique Teruel, Manuel Silva Suárez:
Well-Formedness of Equal Conflict Systems. Application and Theory of Petri Nets 1994: 491-510 - 1993
- [j5]Manuel Silva Suárez, José Manuel Colom:
Petri Nets applied to the modelling and analysis of computer architecture problems. Microprocess. Microprogramming 38(1-5): 1-11 (1993) - [j4]Javier Campos, Manuel Silva Suárez:
Embedded Product-Form Queueing Networks and the Improvement of Performance Bounds for Petri Net Systems. Perform. Evaluation 18(1): 3-19 (1993) - [c21]Enrique Teruel, Manuel Silva Suárez:
Liveness and Home States in Equal Conflict Systems. Application and Theory of Petri Nets 1993: 415-432 - [c20]Antonio Ramírez-Treviño, Javier Campos, Manuel Silva Suárez:
On Optimal Scheduling in DEDS. ICRA (3) 1993: 821-826 - [c19]Enrique Teruel, José Manuel Colom, Manuel Silva Suárez:
Modelling and Analysis of Deterministic Concurrent Systems with Bulk Services and Arrivals. Decentralized and Distributed Systems 1993: 213-224 - [c18]Giovanni Chiola, Cosimo Anglano, Javier Campos, José Manuel Colom, Manuel Silva Suárez:
Operational analysis of timed Petri nets and application to the computation of performance bounds. PNPM 1993: 128-137 - [c17]Javier Campos, José Manuel Colom, Hauke Jungnitz, Manuel Silva Suárez:
A general iterative technique for approximate throughput computation of stochastic marked graphs. PNPM 1993: 138-147 - 1992
- [j3]Hauke Jungnitz, Beatriz Sánchez, Manuel Silva Suárez:
Approximate Throughput Computation of Stohastic Marked Graphs. J. Parallel Distributed Comput. 15(3): 281-295 (1992) - [j2]Javier Esparza, Manuel Silva Suárez:
A Polynomial-Time Algorithm to Decide Liveness of Bounded Free Choice Nets. Theor. Comput. Sci. 102(1): 185-205 (1992) - [c16]Enrique Teruel, Piotr Chrzastowski-Wachtel, José Manuel Colom, Manuel Silva Suárez:
On Weighted T-Systems. Application and Theory of Petri Nets 1992: 348-367 - [c15]Hauke Jungnitz, Beatriz Sánchez, Manuel Silva Suárez:
Response time approximation for the performance analysis of manufacturing systems modeled with stochastic marked graphs. ICRA 1992: 1000-1005 - [p1]Javier Campos, Manuel Silva Suárez:
Structural techniques and performance bounds of stochastic Petri net models. Advances in Petri Nets: The DEMON Project 1992: 352-391 - 1991
- [j1]Javier Campos, Giovanni Chiola, Manuel Silva Suárez:
Ergodicity and Throughput Bounds of Petri Nets with Unique Consistent Firing Count Vector. IEEE Trans. Software Eng. 17(2): 117-125 (1991) - [c14]Joaquin Ezpeleta, Jean-Michel Couvreur, Manuel Silva Suárez:
A New Technique for Finding a Generating Family of Siphons, Traps and st-Components. Application to Colored Petri Nets. Applications and Theory of Petri Nets 1991: 126-147 - [c13]Javier Esparza, Manuel Silva Suárez:
Compositional Synthesis of Live and Bounded Free Choice Petri Nets. CONCUR 1991: 172-187 - [c12]Javier Campos, Manuel Silva Suárez:
Througput Upper Bounds for Markovian Petri Nets: Embedded Subnets and Queueing Networks. PNPM 1991: 312-321 - [c11]Javier Campos, Beatriz Sánchez, Manuel Silva Suárez:
Througput Lower Bounds for Markovian Petri Nets: Transformation Techniques. PNPM 1991: 322-331 - 1990
- [c10]