Sciweavers

    JOT
    2010
    216views more  JOT 2010»
    A UML and Colored Petri Nets Integrated Modeling and Analysis Approach using Graph Transformation
    14 years 5 days ago
    A UML and Colored Petri Nets Integrated Modeling and Analysis Approach using Graph Transformation
    Download  www.jot.fm
    Nowadays, UML is considered to be the standardized language for object-oriented modeling and analysis. However, UML cannot be used for automatic analyses and simulation. In this pa...
    Elhillali Kerkouche, Allaoua Chaoui, El Bay Bouren...
    claim paper
    Read More »
    JCSS
    2010
    111views more  JCSS 2010»
    Reduction rules for reset/inhibitor nets
    14 years 5 days ago
    Reduction rules for reset/inhibitor nets
    Download  is.tm.tue.nl
    Abstract. Reset/inhibitor nets are Petri nets extended with reset arcs and inhibitor arcs. A reset arc allows a transition to remove all tokens from a certain place when the transi...
    H. M. W. Verbeek, Moe Thandar Wynn, Wil M. P. van ...
    claim paper
    Read More »
    IAJIT
    2010
    95views more  IAJIT 2010»
    Modelling of Updating Moving Object Database Using Timed Petri Net Model
    14 years 8 days ago
    Modelling of Updating Moving Object Database Using Timed Petri Net Model
    Download  www.ccis2k.org
    : Tracking moving objects is one of the most common requirements for many location-based applications. The location of a moving object changes continuously but the database locatio...
    Hatem Abdul-Kader, Warda El-Kholy
    claim paper
    Read More »
    FAC
    2010
    148views more  FAC 2010»
    Automating the transformation-based analysis of visual languages
    14 years 8 days ago
    Automating the transformation-based analysis of visual languages
    Download  astreo.ii.uam.es
    We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language in the form of gr...
    Juan de Lara, Hans Vangheluwe
    claim paper
    Read More »
    SIMPRA
    2008
    137views more  SIMPRA 2008»
    An admissible-behaviour-based analysis of the deadlock in Petri-net controllers
    14 years 1 months ago
    An admissible-behaviour-based analysis of the deadlock in Petri-net controllers
    Download  msc.fe.uni-lj.si
    This paper addresses the problem of verifying the discrete control logic that is typically implemented by programmable controllers. Not only are the logical properties of the cont...
    G. Music, Drago Matko
    claim paper
    Read More »
    SAC
    2008
    ACM
    164views Applied Computing» more  SAC 2008»
    Towards a model-driven engineering approach for developing embedded hard real-time software
    14 years 1 months ago
    Towards a model-driven engineering approach for developing embedded hard real-time software
    Download  eprints.ecs.soton.ac.uk
    Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...
    Fabiano Cruz, Raimundo S. Barreto, Lucas Cordeiro
    claim paper
    Read More »
    ENTCS
    2007
    150views more  ENTCS 2007»
    On the Expressiveness of Mobile Synchronizing Petri Nets
    14 years 1 months ago
    On the Expressiveness of Mobile Synchronizing Petri Nets
    Download  antares.sip.ucm.es
    In recent papers we have introduced Mobile Synchronizing Petri Nets, a new model for mobility based on coloured Petri Nets. It allows the description of systems composed of a coll...
    Fernando Rosa Velardo, David de Frutos-Escrig, Olg...
    claim paper
    Read More »
    STTT
    1998
    130views more  STTT 1998»
    The Practitioner's Guide to Coloured Petri Nets
    14 years 1 months ago
    The Practitioner's Guide to Coloured Petri Nets
    Download  www.dsc.ufcg.edu.br
    Abstract. Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation, and verification of systems. CP-nets have a wide range of applicati...
    Lars Michael Kristensen, Søren Christensen,...
    claim paper
    Read More »
    JUCS
    2002
    73views more  JUCS 2002»
    Some Remarks on Codes Defined by Petri Nets
    14 years 1 months ago
    Some Remarks on Codes Defined by Petri Nets
    Download  www.jucs.org
    : With any Petri net we associated its CPN language which consists of all sequences of transitions which reach a marking with an empty place whereas all proper prefixes of the sequ...
    Masami Ito, Jürgen Dassow, Ralf Stiebe
    claim paper
    Read More »
    INFSOF
    2002
    85views more  INFSOF 2002»
    A methodology of testing high-level Petri nets
    14 years 1 months ago
    A methodology of testing high-level Petri nets
    Download  cms.brookes.ac.uk
    Petri nets have been extensively used in the modelling and analysis of concurrent and distributed systems. The veri
    Hong Zhu, Xudong He
    claim paper
    Read More »
    « first‹ previous123456789…next ›last »
    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-2025, USA.