Results 81 to 90 of about 315,703 (191)
A multithreaded scheduling model for solving the Tower of Hanoi game in a multicore environment [PDF]
Maejo International Journal of Science and Technology, 2012 Modern computer systems greatly depend on multithreaded scheduling tobalance the workload among their working units. One of the multithreaded scheduling techniques, the work-stealing technique has proven effective in balancing the distribution of threads
Alaa M. Al-Obaidi
doaj
Interval timed coloured petri nets and their analysis
, 1993 Practical experiences show that only timed and coloured Petri nets are capable of modelling large and complex real-time systems. This is the reason we present the Interval Timed Coloured Petri Net (ITCPN) model. An interval timed coloured Petri net is a coloured Petri net extended with time; time is in tokens and transitions determine a delay for each ...
openaire +4 more sources
Creating TTCN-3 Test Suite from CPN Specification
Journal of Information and Organizational Sciences, 2013 Testing of a software product is the key activity before deploying it in the real-time environment. Therefore testing should be introduced into the product development process as early as possible in order to decrease the costs of repairing the damage in
Marina Bagic Babac, Dragan Jevtic
doaj
Hybrid modelling of biological systems: current progress and future prospects. [PDF]
Brief Bioinform, 2022 Liu F, Heiner M, Gilbert D.
europepmc +1 more source
Modelling and measuring complexity of traditional and ancient technologies using Petri nets. [PDF]
PLoS One, 2022 Fajardo S +3 more
europepmc +1 more source
Coloured Petri nets for multilevel, multiscale and multidimensional modelling of biological systems. [PDF]
Brief Bioinform, 2019 Liu F, Heiner M, Gilbert D.
europepmc +1 more source
Algebras of coloured Petri nets
, 2019 This document surveys my research work about a framework of composable coloured Petri nets. This framework is organised around a core model of coloured Petri nets that can be extended with various features: control flow, synchronous communication, exceptions, threads, functions and time.
openaire +2 more sources
Morphisms of Coloured Petri Nets
CoRR, 2006 We introduce the concept of a morphism between coloured nets. Our definition generalizes Petris definition for ordinary nets. A morphism of coloured nets maps the topological space of the underlying undirected net as well as the kernel and cokernel of the incidence map.
openaire +2 more sources
Dynamic modeling of web purchase behavior and e-mailing impact by Petri net [PDF]
In this article, the authors introduce Petri nets to model the dynamics of web site visits and purchase behaviors in the case of wish list systems.
BALAGUE, Christine, LEE, Janghyuk
core
THE USE OF TIMED COLOURED PETRI NETS IN A MANUFACTURING PROCESS MODELING AND SIMULATION
Nonconventional Technologies Review, 2019 The paper presents a case study of petri nets applications in modeling and simulation of manufacturing process. For this purpose the CPN TOOLS program is used.
Alin Pop
doaj