Manuel Silva - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Timing and liveness in continuous Petri netsCarlos Renato Vázquez, Manuel Silva. automatica, 47(2):283-290, 2011. [doi]

2010

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

An Automated Framework for Formal Verification of Timed Continuous Petri NetsMarius Kloetzer, Cristian Mahulea, Calin Belta, Manuel Silva. tii, 5(3):460-471, 2010. [doi]

Continuous Petri Nets: Expressive Power and Decidability IssuesLaura Recalde, Serge Haddad, Manuel Silva. ijfcs, 21(2):235-256, 2010. [doi]

Minimum-time control for structurally persistent continuous Petri NetsLiewei Wang, Cristian Mahulea, Jorge Júlvez, Manuel Silva. cdc 2010: 2771-2776 [doi]

Decolourisation of Stochastic Symmetric Nets with BagsMichal Zarnay, Manuel Silva. SMC 2010: 661-668 [doi]

An iterative control method for distributed continuous Petri netsHanife Apaydin Özkan, Cristian Mahulea, Jorge Júlvez, Manuel Silva. cdc 2010: 6753-6758 [doi]

2009

2008

On Observability and Design of Observers inTimed Continuous Petri Net SystemsJorge JÃºlvez, Emilio JimÃ©nez, Laura Recalde, Manuel Silva. tase, 5(3):532-537, 2008. [doi]

Words avoiding repetitions in arithmetic progressionsJui-Yi Kao, Narad Rampersad, Jeffrey Shallit, Manuel Silva. TCS, 391(1-2):126-137, 2008. [doi]

Formal analysis of timed continuous Petri netsMarius Kloetzer, Cristian Mahulea, Calin Belta, Laura Recalde, Manuel Silva. cdc 2008: 245-250 [doi]

Steady-State Control Reference and Token Conservation Laws in Continuous Petri Net SystemsCristian Mahulea, Antonio RamÃrez-TreviÃ±o, Laura Recalde, Manuel Silva. tase, 5(2):307-320, 2008. [doi]

On Controllability of Timed Continuous Petri NetsCarlos Renato Vázquez, Antonio Ramírez, Laura Recalde, Manuel Silva. hybrid 2008: 528-541 [doi]

Stochastic continuous-state approximation of Markovian Petri net systemsCarlos Renato Vázquez, Laura Recalde, Manuel Silva. cdc 2008: 901-906 [doi]

Tracking Control of Join-Free Timed Continuous Petri Net Systems under Infinite Servers SemanticsJing Xu, Laura Recalde, Manuel Silva. deds, 18(2):263-283, 2008. [doi]

2007

Understanding Users Response To Ontology Based Systems In The Context Of An Enterprise Sponsored Virtual CommunityCarla Pereira, Manuel Silva, Joana Fernandes, António Lucas Soares. ifip5-5 2007: 371-380 [doi]

Continuous Petri Nets: Expressive Power and Decidability IssuesLaura Recalde, Serge Haddad, Manuel Silva. ATVA 2007: 362-377 [doi]

2006

On the Computational Power of Timed Differentiable Petri NetsSerge Haddad, Laura Recalde, Manuel Silva. formats 2006: 230-244 [doi]

Developing Enterprise Sponsored Virtual Communities: The Case of a SME s Knowledge CommunityAntónio Lucas Soares, Dora Simões, Manuel Silva, Ricardo Madureira. otm 2006: 269-278 [doi]

2005

2004

Heuristic Extraction of Rules in Pruned Artificial Neural Networks Models Used for Quantifying Highly Overlapping Chromatographic PeaksCésar Hervás-Martínez, Manuel Silva, Juan Manuel Serrano, Eva Orejuela. jcisd, 44(5):1576-1584, 2004. [doi]

Relaxed continuous views of discrete event systems: considerations on Forrester diagrams and Petri netsEmilio Jiménez, Jorge Júlvez, Laura Recalde, Manuel Silva. SMC 2004: 4897-4904 [doi]

On Observability in Timed Continuous Petri Net SystemsJorge Júlvez, Emilio Jiménez, Laura Recalde, Manuel Silva. qest 2004: 60-69 [doi]

Design of observers for timed continuous Petri net systemsJorge Júlvez, Emilio Jiménez, Laura Recalde, Manuel Silva. SMC 2004: 1678-1685 [doi]

Two heuristics for the improvement of a two-phase optimization method for manufacturing systemsDiego Rodriguez, Armin Zimmermann, Manuel Silva. SMC 2004: 1686-1692 [doi]

2003

On Reachability in Autonomous Continuous Petri Net SystemsJorge Júlvez, Laura Recalde, Manuel Silva. apn 2003: 221-240 [doi]

Petri Nets and Manufacturing Systems: An Examples-Driven TourLaura Recalde, Manuel Silva, Joaquin Ezpeleta, Enrique Teruel. ac 2004: 742-788 [doi]

Unforced Continuous Petri Nets and Positive SystemsManuel Silva, Laura Recalde. posta 2003: 55-62 [doi]

2002

Petri nets and integrality relaxations: A view of continuous Petri net modelsManuel Silva, Laura Recalde. tsmc, 32(4):314-327, 2002.

2001

2000

Correction of Temperature Variations in Kinetic-Based Determinations by Use of Pruning Computational Neural Networks in Conjunction with Genetic AlgorithmsCésar Hervás, José Antonio Algar, Manuel Silva. jcisd, 40(3):724-731, 2000. [doi]

1999

Structured Solution of Asynchronously Communicating Stochastic ModulesJavier Campos, Susanna Donatelli, Manuel Silva. TSE, 25(2):147-165, 1999. [doi]

Autonomous Continuous P/T SystemsLaura Recalde, Enrique Teruel, Manuel Silva. apn 1999: 107-126 [doi]

1998

Application and Theory of Petri Nets 1998, 19th International Conference, ICATPN 98, Lisbon, Portugal, June 22-26, 1998, ProceedingsJörg Desel, Manuel Silva, editors, Volume 1420 of Lecture Notes in Computer Science, Springer, 1998.

Computational Neural Networks for Resolving Nonlinear Multicomponent Systems Based on Chemiluminescence MethodsCésar Hervás, Sebastián Ventura, Manuel Silva, Dolores Pérez-Bendito. jcisd, 38(6):1119-1124, 1998. [doi]

On Linear Algebraic Techniques for Liveness Analysis of P/T SystemsLaura Recalde, Enrique Teruel, Manuel Silva. jcsc, 8(1):223-265, 1998. [doi]

1997

Estimation of Parameters of Kinetic Compartmental Models by Use of Computational Neural NetworksSebastián Ventura, Manuel Silva, Dolores Pérez-Bendito, César Hervás. jcisd, 37(3):517-521, 1997. [doi]

Computational Neural Networks in Conjunction with Principal Component Analysis for Resolving Highly Nonlinear KineticsSebastián Ventura, Manuel Silva, Dolores Pérez-Bendito, César Hervás. jcisd, 37(2):287-291, 1997. [doi]

1996

1995

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

1994

Approximate Throughput Computation of Stochastic Marked GraphsJavier Campos, José Manuel Colom, Hauke Jungnitz, Manuel Silva. TSE, 20(7):526-535, 1994. [doi]

Well-Formedness of Equal Conflict SystemsEnrique Teruel, Manuel Silva. apn 1994: 491-510

1993

1992

1991

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

Ergodicity and Throughput Bounds of Petri Nets with Unique Consistent Firing Count VectorJavier Campos, Giovanni Chiola, Manuel Silva. TSE, 17(2):117-125, 1991. [doi]

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

Compositional Synthesis of Live and Bounded Free Choice Petri NetsJavier Esparza, Manuel Silva. concur 1991: 172-187

A New Technique for Finding a Generating Family of Siphons, Traps and st-Components. Application to Colored Petri NetsJoaquin Ezpeleta, Jean-Michel Couvreur, Manuel Silva. apn 1993: 126-147

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

1990

Top-down synthesis of live and bounded free choice netsJavier Esparza, Manuel Silva. apn 1991: 118-139

1989

1988

Petri nets and flexible manufacturingManuel Silva, Robert Valette. apn 1990: 374-417

1987

On the Computation of Structural Synchronic Invariants in P/T NetsManuel Silva, José Manuel Colom. apn 1988: 386-417

1981

A Simple and Fast Algorithm to Obtain All Invariants of a Generalized Petri NetJ. Martinez, Manuel Silva. apn 1982: 301-310