Results 71 to 80 of about 315,703 (191)
IEEE Access, 2019 In Punjab Pakistan, a river flood event is the most important natural disasters that every year causes high human casualties as well as heavy economic losses. A safety-critical system should be correct, reliable, complete, consistent, and unambiguous for
Nadeem Akhtar +8 more
doaj +1 more source
Parametrisation of Coloured Petri Nets
DAIMI Report Series, 1997 In this paper we propose a conceptual framework for parametrisation of Coloured Petri Nets --- a first step towards the formulation and formalisation of <em>Parametric</em> Coloured Petri Nets. We identify and characterise three useful kinds of parametrisation, namely value, type, and net structure parameters. While the two former kinds are
Søren Christensen +1 more
openaire +2 more sources
Evolving concurrent Petri net models of epistasis [PDF]
, 2010 A genetic algorithm is used to learn a non-deterministic Petri netbased model of non-linear gene interactions, or statistical epistasis. Petri nets are computational models of concurrent processes.
Beretta, Lorenzo, Mayo, Michael
core +1 more source
Моделирование и анализ информационных систем, 2011 Uniform systems of communicating extended finite automata are considered in the paper. These automata systems are useful for initial specification of telecommunication systems such as ring protocols and telephone networks.
D. M. Beloglazov +2 more
doaj
Simulation and Improvement of Patients' Workflow in Heart Clinics during COVID-19 Pandemic Using Timed Coloured Petri Nets. [PDF]
Int J Environ Res Public Health, 2020 Zeinalnezhad M +4 more
europepmc +1 more source
Modeling the fraud-like investment founds by Petri nets [PDF]
In this paper we model the fraud-like investment founds using place-transition Petri nets. We will also classify the business using regression line in order to find the possible fraud-like investment founds.
Ciuiu, Daniel
core
Algebraic theories for contextual pre-nets
, 2003 The algebraic models of computation for contextual nets that have been proposed in the literature either rely on a non-free monoid of objects, or introduce too many fictitious behaviors that must be somewhat filtered out.
Meseguer, J. +3 more
core +2 more sources
Multilevel modelling of coloured petri nets.
, 2018 Coloured Petri Nets (CPNs) is a modelling language for distributed systems which has been applied in a multitude of industrial cases. The supporting tool of CPNs is currently lacking important features such as having the possibility of tailoring the tool for specific domains and separation of concerns for facilitating its extensions and adaptation to ...
Tena, Alejandro Rodriguez +4 more
openaire +2 more sources
A Petri Nets-based Scheduling Methodology forMultipurpose Batch Plants. [PDF]
, 2005 This article presents an optimization methodology of batch production processes assembled by shared resources which rely on a mapping of state-events into time-events allowing in this way the straightforward use of a well consolidated scheduling policies
Narciso, Mercedes +2 more
core
On the Semantics of Place/Transition Petri Nets
, 1997 Place/Transition (PT) Petri nets are one of the most widely used models of concurrency. However, they still lack, in our view, a satisfactory semantics: on the one hand the 'token game' is too intensional, even in its more abstract interpretations in ...
Meseguer, J., Montanari, U., Sassone, V.
core +1 more source