Sciweavers

    957 search results - page 99 / 192
    » Negotiations and Petri Nets
    Sort
    View
    IFIP
    2000
    Springer
    122views Programming Languages» more  IFIP 2000»
    A Methodology for Complex Embedded Systems Design: Petri Nets within a UML Approach
    15 years 10 months ago
    A Methodology for Complex Embedded Systems Design: Petri Nets within a UML Approach
    Download  semag.dsi.uminho.pt
    Ricardo Jorge Machado, João M. Fernandes, H...
    claim paper
    Read More »
    168
    Voted
    IFM
    2000
    Springer
    111views Formal Methods» more  IFM 2000»
    A Concurrent and Compositional Petri Net Semantics of Preemption
    15 years 10 months ago
    A Concurrent and Compositional Petri Net Semantics of Preemption
    Download  hal.archives-ouvertes.fr
    Hanna Klaudel, Franck Pommereau
    claim paper
    Read More »
    AMAST
    1995
    Springer
    114views Software Engineering» more  AMAST 1995»
    Petri Nets, Traces, and Local Model Checking
    15 years 10 months ago
    Petri Nets, Traces, and Local Model Checking
    Download  www.brics.dk
    Allan Cheng
    claim paper
    Read More »
    WFLP
    2000
    Springer
    99views Algorithms» more  WFLP 2000»
    Petri Nets, Flat Languages and Linear Arithmetic
    15 years 10 months ago
    Petri Nets, Flat Languages and Linear Arithmetic
    Download  skif.pereslavl.ru
    Laurent Fribourg
    claim paper
    Read More »
    ICNP
    1995
    IEEE
    77views Computer Networks» more  ICNP 1995»
    Petri net models for describing multimedia synchronization requirements
    15 years 10 months ago
    Petri net models for describing multimedia synchronization requirements
    Download  www.ieee-icnp.org
    Son T. Vuong, Kendra Cooper, Mabo Robert Ito
    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.