Results 1 to 10 of about 31,018 (199)
Computational Modeling for the Activation Cycle of G-proteins by G-protein-coupled Receptors [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 In this paper, we survey five different computational modeling methods. For comparison, we use the activation cycle of G-proteins that regulate cellular signaling events downstream of G-protein-coupled receptors (GPCRs) as a driving example.
Yifei Bao +3 more
doaj +4 more sources
MODELING OF BIOMETRIC IDENTIFICATION SYSTEM USING THE COLORED PETRI NETS [PDF]
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, 2015 In this paper we present a model of biometric identification system transformed into Petri Nets. Petri Nets, as a graphical and mathematical tool, provide a uniform environment for modelling, formal analysis, and design of discrete event systems.
G. R. Petrosyan +2 more
doaj +1 more source
TiPeNeSS: A Timed Petri Net Simulator Software with Generally Distributed Firing Delays [PDF]
EAI Endorsed Transactions on Industrial Networks and Intelligent Systems, 2016 Performance analysis can be carried out in several ways, especially in case of Markovian models. In order to interpret high level of abstraction, we often use modeling tools like timed Petri nets (TPNs). Although some subclasses of TPNs (e.g.
Ádám Horváth, András Molnár
doaj +1 more source
A structured approach for the engineering of biochemical network models, illustrated for signalling pathways [PDF]
, 2008 http://dx.doi.org/10.1093/bib/bbn026Quantitative models of biochemical networks (signal transduction cascades, metabolic pathways, gene regulatory circuits) are a central component of modern systems biology.
Alves +17 more
core +15 more sources
Modeling of colored Petri nets using semantic Web technologies
Известия высших учебных заведений. Поволжский регион:Технические науки, 2022 Background. In connection with the widespread use of the Semantic Web concept, the issues of using formal models in the design of parallel, distributed and multi-agent systems based on the Semantic Web are of interest.
V.Yu. Kaev +3 more
doaj +1 more source
XML format for notation of object-oriented Petri net
Acta Universitatis Agriculturae et Silviculturae Mendelianae Brunensis, 2007 Petri nets provide executive facilities for simulation of causality, non-determinism and parallelism in discreet systems. Since they are a mathematical model in substance, they offer theory, which can be successfully used to verification of models ...
Petr Jedlička
doaj +1 more source
Modelling and simulation of a flexible packaging system for detergents [PDF]
MATEC Web of Conferences, 2019 The paper presents how an automated manufacturing system for the packaging of detergents can be modelled using Petri nets. The complexity of the Detergent Packing System and the high level of automation,require the use of efficient modelling and ...
Blaga Florin +4 more
doaj +1 more source
Semantic analysis of field sports video using a petri-net of audio-visual concepts [PDF]
, 2009 The most common approach to automatic summarisation and highlight detection in sports video is to train an automatic classifier to detect semantic highlights based on occurrences of low-level features such as action replays, excited commentators or ...
A. F. Smeaton +7 more
core +2 more sources
A methodology of testing high-level Petri nets [PDF]
Information and Software Technology, 2002 Abstract Petri nets have been extensively used in the modelling and analysis of concurrent and distributed systems. The verification and validation of Petri nets are of particular importance in the development of concurrent and distributed systems.
Zhu, H, He, X
openaire +2 more sources
IET Communications, 2023 The authors’ work deals with modelling with coloured Petri nets (CPN) of network controlled systems (NCS) and exposes a proposal of a sensor fault detection and prevention mechanism. In NCS, the network must be viewed as part of the system and not just a
Khamsa Farah +2 more
doaj +1 more source