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
    14 years 3 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
    14 years 3 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 »
    WOSP
    2004
    ACM
    175views Software Engineering» more  WOSP 2004»
    From UML activity diagrams to Stochastic Petri nets: application to software performance engineering
    14 years 3 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
    14 years 3 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
    14 years 3 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
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.