Amanote Research

Amanote Research

    RegisterSign In

ESA PetriNet: Petri Net Based Tool for Reliability Analysis

doi 10.1109/icsmc.2009.5346090
Full Text
Open PDF
Abstract

Available in full text

Date

October 1, 2009

Authors
R. GuillermH. DemmouN. Sadou
Publisher

IEEE


Related search

Early Reliability Assessment of Component-Based Software System Using Colored Petri Net

Turkish Journal of Electrical Engineering and Computer Sciences
Electronic EngineeringElectricalComputer Science
2019English

Modeling Internet Host Reliability Using Higher-Order Time Petri Net

International Journal of Computer Applications
2013English

Petri Net Analysis Using Invariant Generation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Mapping AADL to Petri Net Tool-Sets Using PNML Framework

Journal of Software Engineering and Applications
2014English

Petri Net Based High Speed Programmable Controller

Transactions of the Society of Instrument and Control Engineers
1991English

Petri Net Synthesis

Texts in Theoretical Computer Science. An EATCS Series
2015English

Embedding an Arbitrary 1-Safe Petri Net Into a Boolean Petri Net

International Journal of Computer Applications
2013English

A Public-Key Cryptosystem Based on Stochastic Petri Net

Journal of Software
2014English

Modeling and Analysis of Communication Subsystem Design Process for Wireless Sensor Networks Based on Petri Net

International Journal of Recent Technology and Engineering
EngineeringManagement of TechnologyInnovation
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy