Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Balbo et al., 2019 - Google Patents
[go: Go Back, main page]

Balbo et al., 2019 - Google Patents

On petri nets in performance and reliability evaluation of discrete event dynamic systems

Balbo et al., 2019

Document ID
14332912546525432948
Author
Balbo G
Ciardo G
Publication year
Publication venue
Carl Adam Petri: Ideas, Personality, Impact

External Links

Snippet

Abstract Stochastic extensions to Petri Nets (SPNs) are another example of the impact that the original work of Carl Adam Petri had on many application and research fields. Stochastic processes are the common mathematical tools used for the performance and reliability …
Continue reading at link.springer.com (other versions)

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for programme control, e.g. control unit
    • G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
    • G06F9/46—Multiprogramming arrangements
    • G06F9/54—Interprogramme communication; Intertask communication
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/50—Computer-aided design
    • G06F17/5009—Computer-aided design using simulation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/30—Information retrieval; Database structures therefor; File system structures therefor
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N5/00—Computer systems utilising knowledge based models
    • G06N5/02—Knowledge representation
    • G06N5/022—Knowledge engineering, knowledge acquisition
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/30—Monitoring
    • G06F11/34—Recording or statistical evaluation of computer activity, e.g. of down time, of input/output operation; Recording or statistical evaluation of user activity, e.g. usability assessment
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/20—Handling natural language data
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/70—Software maintenance or management
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F15/00—Digital computers in general; Data processing equipment in general
    • G06F15/16—Combinations of two or more digital computers each having at least an arithmetic unit, a programme unit and a register, e.g. for a simultaneous processing of several programmes
    • G06F15/163—Interprocessor communication
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N99/00—Subject matter not provided for in other groups of this subclass
    • G06N99/005—Learning machines, i.e. computer in which a programme is changed according to experience gained by the machine itself during a complete run
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06Q—DATA PROCESSING SYSTEMS OR METHODS, SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q10/00—Administration; Management
    • G06Q10/10—Office automation, e.g. computer aided management of electronic mail or groupware; Time management, e.g. calendars, reminders, meetings or time accounting
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F2201/00—Indexing scheme relating to error detection, to error correction, and to monitoring
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N7/00—Computer systems based on specific mathematical models
    • G06N7/005—Probabilistic networks

Similar Documents

Publication Publication Date Title
Chiola et al. Generalized stochastic Petri nets: A definition at the net level and its implications
Budde et al. A statistical model checker for nondeterminism and rare events
Aquilani et al. Performance analysis at the software architectural design level
Marzolla Simulation-based performance modeling of UML software architectures.
Quatmann et al. Markov automata with multiple objectives
Falcone et al. Probabilistic model checking of BPMN processes at runtime
Ben Mesmia et al. DevOps workflow verification and duration prediction using non‐Markovian stochastic Petri nets
Pagliari et al. Engineering cyber‐physical systems through performance‐based modelling and analysis: A case study experience report
Nguyen et al. Specifying and reasoning about CPS through the lens of the NIST CPS framework
Shailesh et al. Transformation of sequence diagram to timed Petri net using Atlas Transformation Language metamodel approach
Clark et al. State-aware performance analysis with eXtended Stochastic Probes
Butkova et al. A Modest approach to modelling and checking Markov automata
Sedaghatbaf et al. A method for dependability evaluation of software architectures
Balbo et al. On petri nets in performance and reliability evaluation of discrete event dynamic systems
Mikov et al. Program tools and language for Network simulation and analysis
Schulze et al. Analyzing apache storm as core for an event processing network model
Gozhyj et al. Approach for modeling search web-services based on color petri nets
Zatout et al. A model-driven approach for the verification of an adaptive service composition
Biagi et al. Extending the steady state analysis of hierarchical semi-Markov processes with parallel regions
Bride et al. Reduction of workflow nets for generalised soundness verification
Herbert et al. Restructuring of workflows to minimise errors via stochastic model checking: An automated evolutionary approach
Harie et al. A Petri Net design and verification platform based on the scalable and parallel architecture: HiPS
Eremeev et al. Research and development of a temporal model of branching time for the intelligent systems of real-time
Bera et al. Modeling hybrid systems with petri nets
Fernández Venero et al. On the use of SPIN for studying the behavior of nested Petri nets