Results 91 to 100 of about 1,192,885 (178)

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  

A novel fault detection and diagnostic Petri net methodology for dynamic systems [PDF]

Faults can have significant, negative impacts on the operation and performance of simple and complex dynamic systems. Based on the integration of Bayesian network diagnostic features with Petri net formalism, the existing Bayesian-supported Petri net ...
Remenyte-Prescott, Rasa, Badmus, Taofeeq Alabi, Prescott, Darren   +2 more
core   +1 more source

Stochastic simulation of assembly line for optimal sequence using Petri Nets (PN)

IOSR Journal of Mechanical and Civil Engineering, 2014
Subhash Chandra, Muhammad Al Salamah, Vakkar Ali   +2 more
openaire   +1 more source

Towards a Model-Driven Engineering Approach for Developing Embedded Hard Real-Time Software

, 2008
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing techniques such as Domain-Specific Modeling Languages (DSML) and Transformation ...
Cordeiro, Lucas, Maciel, Paulo, Cruz, Fabiano, Barreto, Raimundo   +3 more
core   +1 more source

Optimality Test for Control Places of Petri Net Based Liveness Enforcing Supervisors of FMSs

IEEE Access
In the past three decades, a lot of Petri net-based methods have been proposed for deadlock prevention/liveness enforcing in flexible manufacturing systems (FMSs).
Murat Uzam, Zhiwu Li, Mohammed A. El-Meligy, Mohamed A. Sharaf, Qiwei Tang   +4 more
doaj   +1 more source

Modelling and evaluation of mitigation methods against IoT malware Mirai with agent-oriented Petri net PN<SUP align="right">2</SUP>

International Journal of Internet of Things and Cyber-Assurance, 2020
Shingo Yamaguchi, Hiroaki Tanaka, Mohd Anuaruddin Bin Ahmadon   +2 more
openaire   +1 more source

Characterizing Behavioural Congruences for Petri Nets

, 1995
We exploit a notion of interface for Petri nets in order to design a set of net combinators. For such a calculus of nets, we focus on the behavioural congruences arising from four simple notions of behaviour, viz., traces, maximal traces, step, and ...
Priese, L., Nielsen, M., Lutz Priese, Vladimiro Sassone, Sassone, V., Mogens Nielsen   +5 more
core   +1 more source

An Approach to the Category of Net Computations

, 1994
We introduce the notion of strongly concatenable process as a refinement of concatenable processes [DMM89] which can be expressed axiomatically via a functor $Q[-]$ from the category of Petri nets to an appropriate category of symmetric strict monoidal ...
Sassone, V.
core   +1 more source

Signal hierarchical petri nets: Formal semantics of hierarchical regulatory control of biological systems. [PDF]

PLoS One
Simão E.
europepmc   +1 more source

Three novel deadlock recovery policies for [Formula: see text]-based manufacturing systems. [PDF]

Sci Rep
Karatkevich A, Grobelna I.
europepmc   +1 more source