Sciweavers

    498 search results - page 21 / 100
    » On the Category of Petri Net Computations
    Sort
    View
    MFCS
    1993
    Springer
    115views Theoretical Computer Science» more  MFCS 1993»
    Completeness Results for Linear Logic on Petri Nets
    15 years 10 months ago
    Completeness Results for Linear Logic on Petri Nets
    Download  www.daimi.au.dk
    Uffe Engberg, Glynn Winskel
    claim paper
    Read More »
    REX
    1993
    123views Logical Reasoning» more  REX 1993»
    Linear Logic on Petri Nets
    15 years 10 months ago
    Linear Logic on Petri Nets
    Download  www.brics.dk
    Uffe Engberg, Glynn Winskel
    claim paper
    Read More »
    REX
    1993
    143views Logical Reasoning» more  REX 1993»
    An Introduction to the Theoretical Aspects of Coloured Petri Nets
    15 years 10 months ago
    An Introduction to the Theoretical Aspects of Coloured Petri Nets
    Download  www.dsc.ufcg.edu.br
    Kurt Jensen
    claim paper
    Read More »
    IWPEC
    2010
    Springer
    209views Applied Computing» more  IWPEC 2010»
    Small Vertex Cover Makes Petri Net Coverability and Boundedness Easier
    15 years 4 months ago
    Small Vertex Cover Makes Petri Net Coverability and Boundedness Easier
    Download  www.cmi.ac.in
    M. Praveen
    claim paper
    Read More »
    FSTTCS
    2009
    Springer
    97views Software Engineering» more  FSTTCS 2009»
    Modelchecking counting properties of 1-safe nets with buffers in paraPSPACE
    16 years 1 months ago
    Modelchecking counting properties of 1-safe nets with buffers in paraPSPACE
    Download  drops.dagstuhl.de
    ABSTRACT. We consider concurrent systems that can be modelled as 1-safe Petri nets communicating through a fixed set of buffers (modelled as unbounded places). We identify a param...
    M. Praveen, Kamal Lodaya
    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.