Sciweavers

    JSS
    2010
    142views more  JSS 2010»
    Analysis of service availability for time-triggered rejuvenation policies
    13 years 7 months ago
    Analysis of service availability for time-triggered rejuvenation policies
    Download  www.citemaster.net
    In this paper we investigate the effect of three time-triggered system rejuvenation policies on service availability using a queuing model. The model is formulated as an extended ...
    Felix Salfner, Katinka Wolter
    claim paper
    Read More »
    AUTOMATICA
    2011
    312views Artificial Intelligence» more  AUTOMATICA 2011»
    Timing and liveness in continuous Petri nets
    13 years 7 months ago
    Timing and liveness in continuous Petri nets
    Download  webdiis.unizar.es
    Fluidification constitutes a relaxation technique for studying discrete event systems through fluidified approximated models, thus avoiding the state explosion problem. Moreove...
    Carlos Renato Vázquez, Manuel Silva
    claim paper
    Read More »
    BIRTHDAY
    2010
    Springer
    248views Applied Computing» more  BIRTHDAY 2010»
    QPME 2.0 - A Tool for Stochastic Modeling and Analysis Using Queueing Petri Nets
    13 years 9 months ago
    QPME 2.0 - A Tool for Stochastic Modeling and Analysis Using Queueing Petri Nets
    Download  sdqweb.ipd.kit.edu
    Abstract Queueing Petri nets are a powerful formalism that can be exploited for modeling distributed systems and analyzing their performance and scalability. By combining the model...
    Samuel Kounev, Simon Spinner, Philipp Meier
    claim paper
    Read More »
    ICFEM
    2009
    Springer
    140views Software Engineering» more  ICFEM 2009»
    An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata
    13 years 10 months ago
    An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata
    Download  www.brics.dk
    Bounded timed-arc Petri nets with read-arcs were recently proven equivalent to networks of timed automata, though the Petri net model cannot express urgent behaviour and the descri...
    Joakim Byg, Kenneth Yrke Jørgensen, Jir&iac...
    claim paper
    Read More »
    NC
    2010
    146views Neural Networks» more  NC 2010»
    Petri nets for modelling metabolic pathways: a survey
    13 years 10 months ago
    Petri nets for modelling metabolic pathways: a survey
    Download  www.math.unipd.it
    Abstract. In the last fifteen years, several research efforts have been directed towards the representation and the analysis of metabolic pathways by using Petri nets. The goal o...
    Paolo Baldan, Nicoletta Cocco, Andrea Marin, Marta...
    claim paper
    Read More »
    TSE
    2002
    107views more  TSE 2002»
    Fluid Stochastic Petri Nets Augmented with Flush-Out Arcs: A Transient Analysis Technique
    14 years 1 days ago
    Fluid Stochastic Petri Nets Augmented with Flush-Out Arcs: A Transient Analysis Technique
    Download  www.di.unito.it
    Fluid (or Hybrid) Petri Nets with flush-out arcs are Petri net based models with two classes of places: discrete places that carry a natural number of distinct objects (tokens), a...
    Marco Gribaudo, András Horváth
    claim paper
    Read More »
    TSMC
    1998
    152views more  TSMC 1998»
    Discrete event representation of qualitative models using Petri nets
    14 years 2 days ago
    Discrete event representation of qualitative models using Petri nets
    Download  www.diee.unica.it
    —The paper discusses how Petri nets may be used for the qualitative modeling of physical systems. The qualitative state of a system is represented by the marking of the net. The ...
    Alessandra Fanni, Alessandro Giua
    claim paper
    Read More »
    TC
    1998
    137views Information Technology» more  TC 1998»
    A Prioritized Petri Net Model and Its Application in Distributed Multimedia Systems
    14 years 2 days ago
    A Prioritized Petri Net Model and Its Application in Distributed Multimedia Systems
    Download  cimic.rutgers.edu
    —The achievement of media synchronization has been dealt with in the Object Composition Petri Net (OCPN) model and the extended OCPN (XOCPN) model. Yet these two models are not e...
    Sheng Uei Guan, Hsiao-Yeh Yu, Jen-Shun Yang
    claim paper
    Read More »
    JCSC
    1998
    159views more  JCSC 1998»
    An Approach to Object System Modeling by State-Based Object Petri Nets
    14 years 2 days ago
    An Approach to Object System Modeling by State-Based Object Petri Nets
    Download  www.cs.uic.edu
    For many years, Petri nets have been used for modeling the behavior of various types of concurrent systems. While these net models are especially well suited to capture the behavi...
    A. Newman, Sol M. Shatz, X. Xie
    claim paper
    Read More »
    INFORMS
    1998
    142views more  INFORMS 1998»
    Distributed State Space Generation of Discrete-State Stochastic Models
    14 years 2 days ago
    Distributed State Space Generation of Discrete-State Stochastic Models
    Download  www.cs.ucr.edu
    High-level formalisms such as stochastic Petri nets can be used to model complex systems. Analysis of logical and numerical properties of these models often requires the generatio...
    Gianfranco Ciardo, Joshua Gluckman, David M. Nicol
    claim paper
    Read More »
    123456789next ›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-2024, USA.