Efficient Decomposition Algorithm for Stationary Analysis of Complex Stochastic Petri Net Models

Marussy, Kristóf; Klenik, Attila; Molnár, Vince; Vörös, András; Majzik, István; Telek, Miklós

doi:10.1007/978-3-319-39086-4_17

Cited by 6 publications

(3 citation statements)

References 24 publications

(31 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In this case, an additional hierarchy is introduced to compose subsets of the local states. Different approaches to generate such a hierarchy are nowadays well known [3], [9], [10], [22] and will not be repeated here.…”

Section: ≥0mentioning

confidence: 99%

Efficient Transient Analysis of a Class of Compositional Fluid Stochastic Petri Nets

Buchholz

Dayar

2018

2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)

View full text Add to dashboard Cite

Fluid Stochastic Petri Nets (FSPNs) which have discrete and continuous places are an established model class to describe and analyze several dependability problems for computer systems, software architectures or critical infrastructures. Unfortunately, their analysis is faced with the curse of dimensionality resulting in very large systems of differential equations for a sufficiently accurate analysis. This contribution introduces a class of FSPNs with a compositional structure and shows how the underlying stochastic process can be described by a set of coupled partial differential equations. Using semi discretization, a set of linear ordinary differential equations is generated which can be described by a (hierarchical) sum of Kronecker products. Based on this compact representation of the transition matrix, a numerical solution approach is applied which also represents transient solution vectors in compact form using the recently developed concept of a Hierarchical Tucker Decomposition. The applicability of the approach is presented in a case study analyzing a degrading software system with rejuvenation, restart, and replication.

show abstract

Section: ≥0mentioning

confidence: 99%

Efficient Transient Analysis of a Class of Compositional Fluid Stochastic Petri Nets

Buchholz

Dayar

2018

2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)

View full text Add to dashboard Cite

show abstract

“…We designed a stochastic analysis framework that supports different symbolic and numerical algorithms to compute reward and engineering measures on models of CPSs [159].…”

Section: Verification Approaches For Critical Systemsmentioning

confidence: 99%

BME VIK Annual Research Report on Electrical Engineering and Computer Science 2016

Charaf

Harsányi

Poppe

et al. 2017

Period. Polytech. Elec. Eng. Comp. Sci.

View full text Add to dashboard Cite

Preface Since being established in 1949, the Faculty of Electrical Engineering and Informatics (VIK) BME has played a flagship role in the development of electronics, IT and computer science in Hungary.We László Jakab (dean, BME VIK) János Levendovszky (vice-dean in charge of scientific affairs, BME VIK) are proud of combining engineering applications with sound scientific results, which is the assurance of high-level industrial collaboration leading to novel results and innovation. The various collaborations with our industrial partners has made it clear that the industry expects methods and results which make their industrial processes more effective and increase productivity and quality. Thus, participation in these collaborations give a competitive edge and ensure the continuous development of VIK. These factors have positioned our Department of Automation and Applied InformaticsDepartment of Automation and Applied Informatics (AUT) is one of the largest and dynamically developing departments at BME with diverse scope competences such as control theory, embedded systems, software modelling, applied software development, Internet of Things, power electronics, mechatronics, and many others. The department's main activities are education, research and development. Training versatile electrical and software engineers with solid practical knowledge is our top priority. Our profile also includes developing high quality software and hardware solutions for industry partners. All of our activities are backed by strong research background.In 2016, the department organized and hosted a number of domestic and international events. In cooperation with the industry, AUT has organized the IoT4U conference. It was dedicated to Internet of Things, cloud and data management as well as the integration of IoT into various formats. RobonAUT, the yearly domestic amateur robotics contest was organized by the department in February 2016. The yearly contest is open to teams of students, organized either in student projects within the department or independent research teams.The next sections summarize the key research results of the department in year 2016. Software Development Methods and Mobile PlatformsThe diversity of mobile platforms necessitates the development of the same mobile application for all major mobile platforms, what requires considerable development effort. Mobile application developers are multiplatform developers, but they still prioritize the platforms, therefore, not all platforms are equally important for them. Appropriate methods, processes and tools are required to support the development in order to achieve better productivity.The research on educational mobile applications that adapt to the mental state of the user required a method for estimating the difficulty of tasks found in the serious games. There are generated or random assignments where the effort required from the user is not known or cannot be estimated in advance.61 (2) IoT and Smart CityThe Internet of Things (IoT) is transforming the surroun...

show abstract

“…On the other side, block Kronecker matrices first require state space decomposition. This state space decomposition, as well as mapping between the original and decomposed state indices of the model, is supported for both explicit [44] and symbolic [46] state space representations.…”

Section: Each Block Is a Linear Combination Of Kronecker Productsmentioning

confidence: 99%

Industrial applications of the PetriDotNet modelling and analysis tool

Vörös

Darvas

Hajdu

et al. 2018

Science of Computer Programming

Self Cite

View full text Add to dashboard Cite

Since their invention, Petri nets have provided modelling and analysis methods to support the design of correct, reliable and robust systems. This motivated our work to develop PetriDotNet, a Petri net editor and analysis tool. In this paper we overview the supported modelling formalisms and the analysis methods included in PetriDotNet. Next, we present eight different industrial case studies, demonstrating the wide variety of scenarios where Petri nets and PetriDotNet can help the design, development and analysis of industrial systems. Our original goal with PetriDotNet was to provide an educational tool to our students, however our efforts led to a framework being able to serve both academic and industrial needs.

show abstract

Efficient Decomposition Algorithm for Stationary Analysis of Complex Stochastic Petri Net Models

Cited by 6 publications

References 24 publications

Efficient Transient Analysis of a Class of Compositional Fluid Stochastic Petri Nets

Efficient Transient Analysis of a Class of Compositional Fluid Stochastic Petri Nets

BME VIK Annual Research Report on Electrical Engineering and Computer Science 2016

Industrial applications of the PetriDotNet modelling and analysis tool

Contact Info

Product

Resources

About