Results 31 to 40 of about 4,382 (153)
Analysis of Petri Nets and Transition Systems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 This paper describes a stand-alone, no-frills tool supporting the analysis of (labelled) place/transition Petri nets and the synthesis of labelled transition systems into Petri nets.
Eike Best, Uli Schlachter
doaj +1 more source
Simulating Petri Nets with Inhibitor and Reset Arcs
Труды Института системного программирования РАН, 2019 Event logs of software systems are used to analyze their behaviour and inter-component interaction. Artificial event logs with desirable specifics are needed to test algorithms supporting this type of analysis. Recent methods allow to generate artificial
Pavel Аlexeevitch Pertsukhov +1 more
doaj +1 more source
Modelling and Simulation of Queuing Models through the concept of Petri Nets
Advances in Distributed Computing and Artificial Intelligence Journal, 2020 In recent years Petri Nets has been in demand due to its visual depiction. Petri Nets are used as an effective method for portraying synchronization, a concurrency between different system activities.
Shadab Siddiqui +2 more
doaj
IEEE Access, 2018 B2C is a commercial retail model of e-commerce for selling products and services directly to consumers. To solve the credit risk issues in B2C e-commerce, in this paper, a credit risk game mechanism is proposed based on game theory and logical Petri nets
Wei Liu +4 more
doaj +1 more source
Qualifications of Petri nets for modeling of logistical systems
Acta Universitatis Agriculturae et Silviculturae Mendelianae Brunensis, 2006 Simulation and optimization is one of the most popular approaches to improve the use of simulation models as a tool to obtain the best system configuration.
Petr Jedlička
doaj +1 more source
MODELING ACTIVITIES OF COMMERCIAL BANK THROUGH PETRI NETS [PDF]
Annals of the University of Oradea: Economic Science, 2017 The relevance of the article is determined by the need to improve the methods of modelling and simulating commercial bank activity, including for the purpose of calculating, controlling and managing the risk of the bank, in the context of the transition ...
Enicov Igor
doaj
Modeling and Analysis for Mobile Computing Systems Based on Petri Nets: A Survey
IEEE Access, 2018 Mobile computing systems have generated many concerns. Numerous studies have been performed to model and analyze these systems. This paper focuses on the existing modeling and corresponding analyses methods for mobile computing systems based on formal ...
Zhijun Ding, Ru Yang
doaj +1 more source
T-invariants for jumping Petri nets [PDF]
Computer Science Journal of Moldova, 2001 This paper introduces the notions of T-invariants for the class of finite jumping Petri nets, and extends the results concerning T-invariants from classical Petri nets.
Cristian Vidrascu
doaj
Time Extensions of Petri Nets for Modelling and Verification of Hard Real-Time Systems [PDF]
Computer Science, 2002 The main aim ofthe paper is a presentation of time extensions of Petri nets appropriate for modelling and analysis of hard real-time systems. It is assumed, that the extensions must provide a model of time flow an ability to force a transition to fire ...
Tomasz Szmuc, Slawomir Samolej
doaj
A Method of Sample Models of Program Construction in Terms of Petri Nets
Моделирование и анализ информационных систем, 2015 In the article a method of automated construction of Petri nets simulating the behaviour of imperative programs is considered from the formal point of view.
D. I. Kharitonov +3 more
doaj +1 more source