Sciweavers

    941 search results - page 103 / 189
    » History-Dependent Petri Nets
    Sort
    View
    151
    Voted
    APN
    1994
    Springer
    79views Artificial Intelligence» more  APN 1994»
    A General Systematic Approach to Arc Extensions for Coloured Petri Nets
    15 years 11 months ago
    A General Systematic Approach to Arc Extensions for Coloured Petri Nets
    Download  www.daimi.au.dk
    Charles Lakos, Søren Christensen
    claim paper
    Read More »
    131
    Voted
    APN
    1993
    Springer
    82views Artificial Intelligence» more  APN 1993»
    Taking Advantages of Temporal Redundancy in High Level Petri Nets Implementations
    15 years 11 months ago
    Taking Advantages of Temporal Redundancy in High Level Petri Nets Implementations
    Download  iaaa.cps.unizar.es
    José A. Bañares, Pedro R. Muro-Medra...
    claim paper
    Read More »
    193
    Voted
    MFCS
    1993
    Springer
    115views Theoretical Computer Science» more  MFCS 1993»
    Completeness Results for Linear Logic on Petri Nets
    15 years 11 months ago
    Completeness Results for Linear Logic on Petri Nets
    Download  www.daimi.au.dk
    Uffe Engberg, Glynn Winskel
    claim paper
    Read More »
    132
    Voted
    REX
    1993
    123views Logical Reasoning» more  REX 1993»
    Linear Logic on Petri Nets
    15 years 11 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 11 months ago
    An Introduction to the Theoretical Aspects of Coloured Petri Nets
    Download  www.dsc.ufcg.edu.br
    Kurt Jensen
    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.