Paradigms and graphical-analytical tools for building simulation tools and forming the architecture of a combined approach to studying the dynamic properties of systems with parallelism are described. An extension of the formal language of Petri nets is presented, which has greater modeling power than WF nets. The properties of hierarchical Petri nets are used to synthesize a holistic model. Discrete-event modeling and modeling of dynamic systems, which allow reflecting the quantitative and qualitative characteristics of the elements of the systems under study, served as the basis for the combined approach to the simulation of systems with parallelism. On their basis, graphic-analytical tools are proposed that provide the ability to descri...
Petri nets are a formal and graphical tool proposed to model and to analyze behavior of concurrent s...
This thesis is focused on distributed systems modeling using Petri nets. Distributed systems are inc...
The availability of low-cost powerful processors has made distributed computer systems a reality. Cu...
Paradigms and graphical-analytical tools for building simulation tools and forming the architecture ...
Paradigms and graphical-analytical tools for building simulation tools and forming the architecture ...
This is a master thesis that studies the practical applications of the Petri nets a graphical and m...
Timed Petri-nets are used to model numerous types of large complex systems, especially computer arch...
For the specification and modelling of complex distributed software systems formal methods are neede...
Consulta en la Biblioteca ETSI Industriales (Riunet)[EN] This is a master thesis that studies the pr...
This thesis presents a method for evaluating the performance of computer systems. The method is base...
Approaches to the modeling and analysis of the complicated systems based on the use of Petri nets th...
This paper presents a software architecture for simulating and implementing Petri nets. It is based ...
This thesis presents an investigation of modelling and analysis of parallel information systems. The...
Petri Nets are a formal, graphical and executable modeling technique for the specification and analy...
Today's complex systems require easy modeling methods as well as efficient analysis tools. A Pe...
Petri nets are a formal and graphical tool proposed to model and to analyze behavior of concurrent s...
This thesis is focused on distributed systems modeling using Petri nets. Distributed systems are inc...
The availability of low-cost powerful processors has made distributed computer systems a reality. Cu...
Paradigms and graphical-analytical tools for building simulation tools and forming the architecture ...
Paradigms and graphical-analytical tools for building simulation tools and forming the architecture ...
This is a master thesis that studies the practical applications of the Petri nets a graphical and m...
Timed Petri-nets are used to model numerous types of large complex systems, especially computer arch...
For the specification and modelling of complex distributed software systems formal methods are neede...
Consulta en la Biblioteca ETSI Industriales (Riunet)[EN] This is a master thesis that studies the pr...
This thesis presents a method for evaluating the performance of computer systems. The method is base...
Approaches to the modeling and analysis of the complicated systems based on the use of Petri nets th...
This paper presents a software architecture for simulating and implementing Petri nets. It is based ...
This thesis presents an investigation of modelling and analysis of parallel information systems. The...
Petri Nets are a formal, graphical and executable modeling technique for the specification and analy...
Today's complex systems require easy modeling methods as well as efficient analysis tools. A Pe...
Petri nets are a formal and graphical tool proposed to model and to analyze behavior of concurrent s...
This thesis is focused on distributed systems modeling using Petri nets. Distributed systems are inc...
The availability of low-cost powerful processors has made distributed computer systems a reality. Cu...