Manuel Silva


Ontology type: schema:Person     


Person Info

NAME

Manuel

SURNAME

Silva

Publications in SciGraph latest 50 shown

  • 2017-09 Fluid approximation of Petri net models with relatively small populations in DISCRETE EVENT DYNAMIC SYSTEMS
  • 2015-06 Special issue on recent advances in control of discrete event systems in DISCRETE EVENT DYNAMIC SYSTEMS
  • 2013 Continuous Petri Nets: Observability and Diagnosis in CONTROL OF DISCRETE-EVENT SYSTEMS
  • 2013 Introduction to Fluid Petri Nets in CONTROL OF DISCRETE-EVENT SYSTEMS
  • 2013 Continuous Petri Nets: Controllability and Control in CONTROL OF DISCRETE-EVENT SYSTEMS
  • 2011-12 On fluidization of discrete event models: observation and control of continuous Petri nets in DISCRETE EVENT DYNAMIC SYSTEMS
  • 2009-06 Basic Server Semantics and Performance Monotonicity of Continuous Petri Nets in DISCRETE EVENT DYNAMIC SYSTEMS
  • 2008-06 Tracking Control of Join-Free Timed Continuous Petri Net Systems under Infinite Servers Semantics in DISCRETE EVENT DYNAMIC SYSTEMS
  • 2008 On Controllability of Timed Continuous Petri Nets in HYBRID SYSTEMS: COMPUTATION AND CONTROL
  • 2007 Continuous Petri Nets: Expressive Power and Decidability Issues in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
  • 2006 Optimal Control of Timed Continuous Petri Nets via Explicit MPC in POSITIVE SYSTEMS
  • 2006 On the Computational Power of Timed Differentiable Petri Nets in FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS
  • 2005 Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control in APPLICATIONS AND THEORY OF PETRI NETS 2005
  • 2004 Petri Nets and Manufacturing Systems: An Examples-Driven Tour in LECTURES ON CONCURRENCY AND PETRI NETS
  • 2003-05-27 On Reachability in Autonomous Continuous Petri Net Systems in APPLICATIONS AND THEORY OF PETRI NETS 2003
  • 2003-04-18 Autonomous Continuous P/T Systems in APPLICATION AND THEORY OF PETRI NETS 1999
  • 2003 Unforced Continuous Petri Nets and Positive Systems in POSITIVE SYSTEMS
  • 2001-06-28 Structural Characterization and Qualitative Properties of Product Form Stochastic Petri Nets in APPLICATIONS AND THEORY OF PETRI NETS 2001
  • 1998 Linear algebraic and linear programming techniques for the analysis of place/transition net systems in LECTURES ON PETRI NETS I: BASIC MODELS
  • 1998 Petri nets and production systems in LECTURES ON PETRI NETS II: APPLICATIONS
  • 1996 {SC}*ECS: A class of modular and hierarchical cooperating systems in APPLICATION AND THEORY OF PETRI NETS 1996
  • 1995 Approximate Throughput Computation of Stochastic Marked Graphs in QUANTITATIVE METHODS IN PARALLEL SYSTEMS
  • 1995 Functional and Performance Analysis of Cooperating Sequential Processes in QUANTITATIVE METHODS IN PARALLEL SYSTEMS
  • 1995 CALIBAN - Esprit Basic Research WG 6067 in STRUCTURES IN CONCURRENCY THEORY
  • 1995 On Well-formedness Analysis: The Case of Deterministic Systems of Sequential Processes in STRUCTURES IN CONCURRENCY THEORY
  • 1995 Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds in QUANTITATIVE METHODS IN PARALLEL SYSTEMS
  • 1994 Functional and performance analysis of cooperating sequential processes in 11TH INTERNATIONAL CONFERENCE ON ANALYSIS AND OPTIMIZATION OF SYSTEMS DISCRETE EVENT SYSTEMS
  • 1994 Analysis of autonomous Petri nets with bulk services and arrivals in 11TH INTERNATIONAL CONFERENCE ON ANALYSIS AND OPTIMIZATION OF SYSTEMS DISCRETE EVENT SYSTEMS
  • 1994 Well-formedness of Equal Conflict systems in APPLICATION AND THEORY OF PETRI NETS 1994
  • 1993 Principles of system modeling in PRACTICE OF PETRI NETS IN MANUFACTURING
  • 1993 A new technique for finding a generating family of siphons, traps and st-components. Application to colored Petri nets in ADVANCES IN PETRI NETS 1993
  • 1993 Performance evaluation of manufacturing systems in PRACTICE OF PETRI NETS IN MANUFACTURING
  • 1993 Liveness and home states in equal conflict systems in APPLICATION AND THEORY OF PETRI NETS 1993
  • 1993 Introducing Petri nets in PRACTICE OF PETRI NETS IN MANUFACTURING
  • 1993 Synthesis for manufacturing systems integration in PRACTICE OF PETRI NETS IN MANUFACTURING
  • 1993 Petri nets for manufacturing information systems in PRACTICE OF PETRI NETS IN MANUFACTURING
  • 1992 On weighted T-systems in APPLICATION AND THEORY OF PETRI NETS 1992
  • 1992 Structural techniques and performance bounds of stochastic Petri net models in ADVANCES IN PETRI NETS 1992
  • 1991 Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal p-semiflows in ADVANCES IN PETRI NETS 1990
  • 1991 Improving the linearly based characterization of P/T nets in ADVANCES IN PETRI NETS 1990
  • 1988 On the computation of structural synchronic invariants in P/T nets in ADVANCES IN PETRI NETS 1988
  • JSON-LD is the canonical representation for SciGraph data.

    TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

    [
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "familyName": "Silva", 
        "givenName": "Manuel", 
        "id": "sg:person.013406576107.14", 
        "identifier": {
          "name": "orcid_id", 
          "type": "PropertyValue", 
          "value": [
            "0000-0001-8631-8770"
          ]
        }, 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013406576107.14", 
          "https://orcid.org/0000-0001-8631-8770"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2019-03-07T14:06", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-uberresearch-data-dimensions-researchers-20181010/20181011/dim_researchers/base/researchers_1868.json", 
        "type": "Person"
      }
    ]
     

    Download the RDF metadata as:  json-ld nt turtle xml License info

    HOW TO GET THIS DATA PROGRAMMATICALLY:

    JSON-LD is a popular format for linked data which is fully compatible with JSON.

    curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/person.013406576107.14'

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/person.013406576107.14'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/person.013406576107.14'

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/person.013406576107.14'


     

    This table displays all metadata directly associated to this object as RDF triples.

    16 TRIPLES      10 PREDICATES      12 URIs      7 LITERALS      2 BLANK NODES

    Subject Predicate Object
    1 sg:person.013406576107.14 schema:familyName Silva
    2 schema:givenName Manuel
    3 schema:identifier N125c7d27cd8c4b4180815a7e437e3b28
    4 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013406576107.14
    5 https://orcid.org/0000-0001-8631-8770
    6 schema:sdDatePublished 2019-03-07T14:06
    7 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    8 schema:sdPublisher N1351e7a1ac9744a396f3d2cea77c860f
    9 sgo:license sg:explorer/license/
    10 sgo:sdDataset persons
    11 rdf:type schema:Person
    12 N125c7d27cd8c4b4180815a7e437e3b28 schema:name orcid_id
    13 schema:value 0000-0001-8631-8770
    14 rdf:type schema:PropertyValue
    15 N1351e7a1ac9744a396f3d2cea77c860f schema:name Springer Nature - SN SciGraph project
    16 rdf:type schema:Organization
     




    Preview window. Press ESC to close (or click here)


    ...