Results 51 to 60 of about 23,744 (217)
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
Functorial Semantics for Petri Nets under the Individual Token Philosophy
, 1999 Although the algebraic semantics of place/transition Petri nets under the collective token philosophy has been fully explained in terms of (strictly) symmetric (strict) monoidal categories, the analogous construction under the individual token philosophy
Meseguer, J. +11 more
core +1 more source
The Impact of Petri Nets on System-of-Systems Engineering [PDF]
, 2009 The successful engineering of a large-scale system-of-systems project towards deterministic behaviour depends on integrating autonomous components using international communications standards in accordance with dynamic requirements.
SINCLAIR, KIRSTEN,MHAIRI
core
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
On the Algebraic Structure of Petri Nets
, 2000 This paper retraces, collects, and summarises the contributions of the author --- both individually and in collaboration with others --- on the theme of algebraic, compositional approaches to the semantics of Petri ...
Sassone, V.
core
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
Representation Theorems for Petri Nets
, 1997 This paper retraces, collects, summarises, and mildly extends the contributions of the authors --- both together and individually --- on the theme of representing the space of computations of Petri nets in its mathematical ...
Meseguer, J., Montanari, U., Sassone, V.
core
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
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