Results 1 to 10 of about 4,495 (168)
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
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
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
Electronic Notes in Theoretical Computer Science, 2005 AbstractPersistence of information is common in modern computer systems. This paper describes how to extend Petri nets, a traditional model of concurrent and distributed computations, to take account of conditions that are persistent. We found use for this kind of nets in modelling untrustworthy networks on which messages are exchanged according to a ...
Federico Crazzolara, Glynn Winskel
openaire +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
Input–Output Constrained Colored Petri Nets for Dependable System Controllers
IEEE AccessPetri nets are widely used in the study of dependable systems, as they combine intuitive graphical modeling with a solid mathematical foundation for formal analysis.
Carolina Lagartinho-Oliveira +2 more
doaj +1 more source
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
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