Manuel Silva

Arturas Dubickas, Tomasz Schoen, Manuel Silva, Paulius Sarka: Finding large co-Sidon subsets in sets with a given additive energy. Eur. J. Comb. 34(7): 1144-1157 (2013)

Carlos Renato Vázquez, Manuel Silva: Stochastic Continuous Petri Nets: An Approximation of Markovian Net Models. IEEE Transactions on Systems, Man, and Cybernetics, Part A 42(3): 641-653 (2012)

Cristian Mahulea, Carla Seatzu, Maria Paola Cabasino, Manuel Silva: Fault Diagnosis of Discrete-Event Systems Using Continuous Petri Nets. IEEE Transactions on Systems, Man, and Cybernetics, Part A 42(4): 970-984 (2012)

Carlos Renato Vázquez, Manuel Silva: Timing and liveness in continuous Petri nets. Automatica 47(2): 283-290 (2011)

Manuel Silva, Jorge Júlvez, Cristian Mahulea, Carlos Renato Vázquez: On fluidization of discrete event models: observation and control of continuous Petri nets. Discrete Event Dynamic Systems 21(4): 427-497 (2011)

Manuel Silva, Pedro M. Teixeira, Filipe Abrantes, Filipe Sousa: Design and Evaluation of a Fall Detection Algorithm on Mobile Phone Platform. AMBI-SYS 2011: 28-35

Laura Recalde, Serge Haddad, Manuel Silva: Continuous Petri Nets: Expressive Power and Decidability Issues. Int. J. Found. Comput. Sci. 21(2): 235-256 (2010)

Marius Kloetzer, Cristian Mahulea, Calin Belta, Manuel Silva: An Automated Framework for Formal Verification of Timed Continuous Petri Nets. IEEE Trans. Industrial Informatics 6(3): 460-471 (2010)

Carlos Renato Vázquez, Herman Y. Sutarto, René K. Boel, Manuel Silva: Hybrid Petri Net Model of a Traffic Intersection in an Urban Network. CCA 2010: 658-664

Monika Heiner, Cristian Mahulea, Manuel Silva: On the Importance of the Deadlock Trap Property for Monotonic Liveness. ACSD/Petri Nets Workshops 2010: 23-38

Liewei Wang, Cristian Mahulea, Jorge Júlvez, Manuel Silva: Minimum-time control for structurally persistent continuous Petri Nets. CDC 2010: 2771-2776

Hanife Apaydin Özkan, Cristian Mahulea, Jorge Júlvez, Manuel Silva: An iterative control method for distributed continuous Petri nets. CDC 2010: 6753-6758

Maria Paola Cabasino, Carla Seatzu, Cristian Mahulea, Manuel Silva: Fault diagnosis of manufacturing systems using continuous Petri nets. SMC 2010: 534-539

Michal Zarnay, Manuel Silva: Decolourisation of Stochastic Symmetric Nets with Bags. SMC 2010: 661-668

Francesco Basile, Laura Recalde, Pasquale Chiacchio, Manuel Silva: Closed-loop Live Marked Graphs under Generalized Mutual Exclusion Constraint Enforcement. Discrete Event Dynamic Systems 19(1): 1-30 (2009)

Cristian Mahulea, Laura Recalde, Manuel Silva: Basic Server Semantics and Performance Monotonicity of Continuous Petri Nets. Discrete Event Dynamic Systems 19(2): 189-212 (2009)

Carla Seatzu, Cristian Mahulea, Maria Paola Cabasino, Manuel Silva: Fault diagnoser design for untimed continuous Petri nets. CCA/ISIC 2009: 1598-1604

Carlos Renato Vázquez, Manuel Silva: Performance control of Markovian Petri nets via fluid models: A stock-level control example. CASE 2009: 30-36

Carlos Renato Vázquez, Manuel Silva: Piecewise-linear constrained control for timed continuous Petri nets. CDC 2009: 5714-5720

Carla Seatzu, Maria Paola Cabasino, Cristian Mahulea, Manuel Silva: New results for fault detection of untimed continuous Petri nets. CDC 2009: 6952-6957

Jing Xu, Laura Recalde, Manuel Silva: Tracking Control of Join-Free Timed Continuous Petri Net Systems under Infinite Servers Semantics. Discrete Event Dynamic Systems 18(2): 263-283 (2008)

Cristian Mahulea, Alessandro Giua, Laura Recalde, Carla Seatzu, Manuel Silva: Optimal Model Predictive Control of Timed Continuous Petri Nets. IEEE Trans. Automat. Contr. 53(7): 1731-1735 (2008)

Cristian Mahulea, Antonio Ramírez-Treviño, Laura Recalde, Manuel Silva: Steady-State Control Reference and Token Conservation Laws in Continuous Petri Net Systems. IEEE T. Automation Science and Engineering 5(2): 307-320 (2008)

Jorge Júlvez, Emilio Jiménez, Laura Recalde, Manuel Silva: On Observability and Design of Observers inTimed Continuous Petri Net Systems. IEEE T. Automation Science and Engineering 5(3): 532-537 (2008)

Jui-Yi Kao, Narad Rampersad, Jeffrey Shallit, Manuel Silva: Words avoiding repetitions in arithmetic progressions. Theor. Comput. Sci. 391(1-2): 126-137 (2008)

Marius Kloetzer, Cristian Mahulea, Calin Belta, Laura Recalde, Manuel Silva: Formal analysis of timed continuous Petri nets. CDC 2008: 245-250

Carlos Renato Vázquez, Laura Recalde, Manuel Silva: Stochastic continuous-state approximation of Markovian Petri net systems. CDC 2008: 901-906

Carlos Renato Vázquez, Antonio Ramírez-Treviño, Laura Recalde, Manuel Silva: On Controllability of Timed Continuous Petri Nets. HSCC 2008: 528-541

Laura Recalde, Serge Haddad, Manuel Silva: Continuous Petri Nets: Expressive Power and Decidability Issues. ATVA 2007: 362-377

Maria Paola Cabasino, Alessandro Giua, Cristian Mahulea, Laura Recalde, Carla Seatzu, Manuel Silva: State Estimation of Petri Nets by Transformation. CASE 2007: 194-199

Carla Pereira, Manuel Silva, Joana Fernandes, António Lucas Soares: Understanding Users' Response To Ontology Based Systems In The Context Of An Enterprise Sponsored Virtual Community. Virtual Enterprises and Collaborative Networks 2007: 371-380

Jorge Júlvez, Laura Recalde, Manuel Silva: Deadlock-Freeness Analysis of Continuous Mono-T-Semiflow Petri Nets. IEEE Trans. Automat. Contr. 51(9): 1472-1481 (2006)

Laura Recalde, Cristian Mahulea, Manuel Silva: Improving analysis and simulation of continuous Petri Nets. CASE 2006: 9-14

Serge Haddad, Laura Recalde, Manuel Silva: On the Computational Power of Timed Differentiable Petri Nets. FORMATS 2006: 230-244

António Lucas Soares, Dora Simões, Manuel Silva, Ricardo Madureira: Developing Enterprise Sponsored Virtual Communities: The Case of a SME's Knowledge Community. OTM Workshops (1) 2006: 269-278

Jorge Júlvez, Laura Recalde, Manuel Silva: Steady-state performance evaluation of continuous mono-T-semiflow Petri nets. Automatica 41(4): 605-616 (2005)

César Hervás-Martínez, Alfonso Carlos Martínez, Manuel Silva, Juan Manuel Serrano: Improving the Quantification of Highly Overlapping Chromatographic Peaks by Using Product Unit Neural Networks Modeled by an Evolutionary Algorithm. Journal of Chemical Information and Modeling 45(4): 894-903 (2005)

Serge Haddad, Patrice Moreaux, Matteo Sereno, Manuel Silva: Product-form and stochastic Petri nets: a structural approach. Perform. Eval. 59: 313-336 (2005)

Manuel Silva, Laura Recalde: Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control. ICATPN 2005: 26-47

César Hervás-Martínez, Manuel Silva, Juan Manuel Serrano, Eva Orejuela: Heuristic Extraction of Rules in Pruned Artificial Neural Networks Models Used for Quantifying Highly Overlapping Chromatographic Peaks. Journal of Chemical Information and Modeling 44(5): 1576-1584 (2004)

Jorge Júlvez, Emilio Jiménez, Laura Recalde, Manuel Silva: On Observability in Timed Continuous Petri Net Systems. QEST 2004: 60-69

Jorge Júlvez, Emilio Jiménez, Laura Recalde, Manuel Silva: Design of observers for timed continuous Petri net systems. SMC (2) 2004: 1678-1685

Diego Rodriguez, Armin Zimmermann, Manuel Silva: Two heuristics for the improvement of a two-phase optimization method for manufacturing systems. SMC (2) 2004: 1686-1692

Emilio Jiménez, Jorge Júlvez, Laura Recalde, Manuel Silva: Relaxed continuous views of discrete event systems: considerations on Forrester diagrams and Petri nets. SMC (5) 2004: 4897-4904

Laura Recalde, Manuel Silva, Joaquin Ezpeleta, Enrique Teruel: Petri Nets and Manufacturing Systems: An Examples-Driven Tour. Lectures on Concurrency and Petri Nets 2003: 742-788

Jorge Júlvez, Laura Recalde, Manuel Silva: On Reachability in Autonomous Continuous Petri Net Systems. ICATPN 2003: 221-240

Manuel Silva, Laura Recalde: Unforced Continuous Petri Nets and Positive Systems. POSTA 2003: 55-62

Manuel Silva, Laura Recalde: Petri nets and integrality relaxations: A view of continuous Petri net models. IEEE Transactions on Systems, Man, and Cybernetics, Part C 32(4): 314-327 (2002)

César Hervás, Rocío Toledo, Manuel Silva: Use of Pruned Computational Neural Networks for Processing the Response of Oscillating Chemical Reactions with a View to Analyzing Nonlinear Multicomponent Mixtures. Journal of Chemical Information and Computer Sciences 41(4): 1083-1092 (2001)

Laura Recalde, Enrique Teruel, Manuel Silva: Structure theory of multi-level deterministically synchronized sequential processes. Theor. Comput. Sci. 254(1-2): 1-33 (2001)

Serge Haddad, Patrice Moreaux, Matteo Sereno, Manuel Silva: Structural Characterization and Qualitative Properties of Product Form Stochastic Petri Nets. ICATPN 2001: 164-183

César Hervás-Martínez, José Antonio Martinez Heras, Sebastián Ventura, Manuel Silva: A two steps method: non linear regression and pruning neural network for analyzing multicomponent mixtures. ESANN 2001: 347-352

Emilio Jiménez, Laura Recalde, Manuel Silva: Forrester diagrams and continuous Petri nets: a comparative view. ETFA (2) 2001: 85-94

César Hervás, José Antonio Algar, Manuel Silva: Correction of Temperature Variations in Kinetic-Based Determinations by Use of Pruning Computational Neural Networks in Conjunction with Genetic Algorithms. Journal of Chemical Information and Computer Sciences 40(3): 724-731 (2000)

Javier Campos, Susanna Donatelli, Manuel Silva: Structured Solution of Asynchronously Communicating Stochastic Modules. IEEE Trans. Software Eng. 25(2): 147-165 (1999)

Laura Recalde, Enrique Teruel, Manuel Silva: Autonomous Continuous P/T Systems. ICATPN 1999: 107-126

César Hervás, Sebastián Ventura, Manuel Silva, Dolores Pérez-Bendito: Computational Neural Networks for Resolving Nonlinear Multicomponent Systems Based on Chemiluminescence Methods. Journal of Chemical Information and Computer Sciences 38(6): 1119-1124 (1998)

Laura Recalde, Enrique Teruel, Manuel Silva: On Linear Algebraic Techniques for Liveness Analysis of P/T Systems. Journal of Circuits, Systems, and Computers 8(1): 223-265 (1998)

Jörg Desel, Manuel Silva (Eds.): 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

Sebastián Ventura, Manuel Silva, Dolores Pérez-Bendito, César Hervás: Computational Neural Networks in Conjunction with Principal Component Analysis for Resolving Highly Nonlinear Kinetics. Journal of Chemical Information and Computer Sciences 37(2): 287-291 (1997)

Sebastián Ventura, Manuel Silva, Dolores Pérez-Bendito, César Hervás: Estimation of Parameters of Kinetic Compartmental Models by Use of Computational Neural Networks. Journal of Chemical Information and Computer Sciences 37(3): 517-521 (1997)

Enrique Teruel, José Manuel Colom, Manuel Silva: Choice-free Petri nets: a model for deterministic concurrent systems with bulk services and arrivals. IEEE Transactions on Systems, Man, and Cybernetics, Part A 27(1): 73-83 (1997)

Enrique Teruel, Manuel Silva: Structure Theory of Equal Conflict Systems. Theor. Comput. Sci. 153(1&2): 271-300 (1996)

Manuel Silva, Enrique Teruel, Robert Valette, Hervé Pingaud: Petri Nets and Production Systems. Petri Nets (2) 1996: 85-124

Manuel Silva, 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

Laura Recalde, Enrique Teruel, Manuel Silva: {SC}*ECS: A Class of Modular and Hierarchical Cooperating Systems. Application and Theory of Petri Nets 1996: 440-459

Morikazu Nakamura, Kenji Onaga, Seiki Kyan, Manuel Silva: A Genetic Algorithm for Sex-Fair Stable Marriage Problem. ISCAS 1995: 509-512

Javier Campos, José Manuel Colom, Hauke Jungnitz, Manuel Silva: Approximate Throughput Computation of Stochastic Marked Graphs. IEEE Trans. Software Eng. 20(7): 526-535 (1994)

Enrique Teruel, Manuel Silva: Well-Formedness of Equal Conflict Systems. Application and Theory of Petri Nets 1994: 491-510

Manuel Silva, José Manuel Colom: Petri Nets applied to the modelling and analysis of computer architecture problems. Microprocessing and Microprogramming 38(1-5): 1-11 (1993)

Javier Campos, Manuel Silva: Embedded Product-Form Queueing Networks and the Improvement of Performance Bounds for Petri Net Systems. Perform. Eval. 18(1): 3-19 (1993)

Manuel Silva: Interleaving Functional and Performance Structural Analysis of Net Models. Application and Theory of Petri Nets 1993: 17-23

Enrique Teruel, Manuel Silva: Liveness and Home States in Equal Conflict Systems. Application and Theory of Petri Nets 1993: 415-432

Antonio Ramírez-Treviño, Javier Campos, Manuel Silva: On Optimal Scheduling in DEDS. ICRA (3) 1993: 821-826

Enrique Teruel, José Manuel Colom, Manuel Silva: Modelling and Analysis of Deterministic Concurrent Systems with Bulk Services and Arrivals. Decentralized and Distributed Systems 1993: 213-224

Manuel Silva, Tadao Murata: B-Fairness and Structural B-Fairness in Petri Net Models of Concurrent Systems. J. Comput. Syst. Sci. 44(3): 447-477 (1992)

Hauke Jungnitz, Beatriz Sánchez, Manuel Silva: Approximate Throughput Computation of Stohastic Marked Graphs. J. Parallel Distrib. Comput. 15(3): 281-295 (1992)

Javier Esparza, Manuel Silva: A Polynomial-Time Algorithm to Decide Liveness of Bounded Free Choice Nets. Theor. Comput. Sci. 102(1): 185-205 (1992)

Enrique Teruel, Piotr Chrzastowski-Wachtel, José Manuel Colom, Manuel Silva: On Weighted T-Systems. Application and Theory of Petri Nets 1992: 348-367

Javier Campos, Manuel Silva: Structural techniques and performance bounds of stochastic Petri net models. Advances in Petri Nets: The DEMON Project 1992: 352-391

Javier Campos, Giovanni Chiola, Manuel Silva: Ergodicity and Throughput Bounds of Petri Nets with Unique Consistent Firing Count Vector. IEEE Trans. Software Eng. 17(2): 117-125 (1991)

Joaquin Ezpeleta, Jean-Michel Couvreur, Manuel Silva: 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

Javier Esparza, Manuel Silva: Compositional Synthesis of Live and Bounded Free Choice Petri Nets. CONCUR 1991: 172-187

Kenji Onaga, Manuel Silva, Toshimasa Watanabe: On Periodic Schedules for Deterministically Timed Petri Net Systems. PNPM 1991: 210-215

Javier Campos, Manuel Silva: Througput Upper Bounds for Markovian Petri Nets: Embedded Subnets and Queueing Networks. PNPM 1991: 312-321

Javier Campos, Beatriz Sánchez, Manuel Silva: Througput Lower Bounds for Markovian Petri Nets: Transformation Techniques. PNPM 1991: 322-331

Javier Esparza, Manuel Silva: Top-down synthesis of live and bounded free choice nets. Applications and Theory of Petri Nets 1990: 118-139

José Manuel Colom, Manuel Silva: Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal P-semiflows. Applications and Theory of Petri Nets 1989: 79-112

José Manuel Colom, Manuel Silva: Improving the linearly based characterization of P/T nets. Applications and Theory of Petri Nets 1989: 113-145

Javier Esparza, Manuel Silva: Circuits, handles, bridges and nets. Applications and Theory of Petri Nets 1989: 210-242

Javier Esparza, Manuel Silva: On the analysis and synthesis of free choice systems. Applications and Theory of Petri Nets 1989: 243-286

Javier Campos, Giovanni Chiola, José Manuel Colom, Manuel Silva: Tight Polynomial Bounds for Steady-State Performance of Marked Graphs. PNPM 1989: 200-209

Javier Campos, Giovanni Chiola, Manuel Silva: Properties and Steady-State Performance Bounds for Petri Nets with Unique Repetitive Firing Count Vector. PNPM 1989: 210-220

Manuel Silva, Robert Valette: Petri nets and flexible manufacturing. European Workshop on Applications and Theory in Petri Nets 1988: 374-417

Manuel Silva, José Manuel Colom: On the Computation of Structural Synchronic Invariants in P/T Nets. European Workshop on Applications and Theory of Petri Nets 1987: 386-417

J. Martinez, Manuel Silva: A Simple and Fast Algorithm to Obtain All Invariants of a Generalized Petri Net. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 301-310