Sciweavers

    941 search results - page 53 / 189
    » Haskell-Coloured Petri Nets
    Sort
    View
    CONCUR
    2005
    Springer
    98views Distributed And Parallel Com...» more  CONCUR 2005»
    Merged Processes - A New Condensed Representation of Petri Net Behaviour
    15 years 11 months ago
    Merged Processes - A New Condensed Representation of Petri Net Behaviour
    Download  www.cs.ncl.ac.uk
    Victor Khomenko, Alex Kondratyev, Maciej Koutny, W...
    claim paper
    Read More »
    FORMATS
    2005
    Springer
    156views Formal Methods» more  FORMATS 2005»
    Comparison of the Expressiveness of Timed Automata and Time Petri Nets
    15 years 11 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 11 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
    15 years 11 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 11 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 »
    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.