Sciweavers

    969 search results - page 91 / 194
    » Recursive Petri nets
    Sort
    View
    FORMATS
    2005
    Springer
    156views Formal Methods» more  FORMATS 2005»
    Comparison of the Expressiveness of Timed Automata and Time Petri Nets
    15 years 10 months ago
    Comparison of the Expressiveness of Timed Automata and Time Petri Nets
    Download  www.irccyn.fr
    Béatrice Bérard, Franck Cassez, Serg...
    claim paper
    Read More »
    MEMBRANE
    2005
    Springer
    86views Applied Computing» more  MEMBRANE 2005»
    Towards a Petri Net Semantics for Membrane Systems
    15 years 10 months ago
    Towards a Petri Net Semantics for Membrane Systems
    Download  www.cs.newcastle.ac.uk
    Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg
    claim paper
    Read More »
    167
    Voted
    WOSP
    2004
    ACM
    175views Software Engineering» more  WOSP 2004»
    From UML activity diagrams to Stochastic Petri nets: application to software performance engineering
    15 years 10 months ago
    From UML activity diagrams to Stochastic Petri nets: application to software performance engineering
    Download  webdiis.unizar.es
    Over the last decade, the relevance of performance evaluation in the early stages of the software development life-cycle has been steadily rising. We honestly believe that the int...
    Juan Pablo López-Grao, José Mersegue...
    claim paper
    Read More »
    APN
    2004
    Springer
    88views Artificial Intelligence» more  APN 2004»
    Qualitative Modelling of Genetic Networks: From Logical Regulatory Graphs to Standard Petri Nets
    15 years 10 months ago
    Qualitative Modelling of Genetic Networks: From Logical Regulatory Graphs to Standard Petri Nets
    Download  sbml.org
    Claudine Chaouiya, Elisabeth Remy, Paul Ruet, Deni...
    claim paper
    Read More »
    ATVA
    2004
    Springer
    67views Hardware» more  ATVA 2004»
    Verification of Analog and Mixed-Signal Circuits Using Timed Hybrid Petri Nets
    15 years 10 months ago
    Verification of Analog and Mixed-Signal Circuits Using Timed Hybrid Petri Nets
    Download  www.async.ece.utah.edu
    Scott Little, David Walter, Nicholas Seegmiller, C...
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.