Results 21 to 30 of about 3,623,879 (377)
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
IEEE Access, 2019 This paper proposes a Petri-net-based specification of cyber-physical systems dedicated to the control of a direct matrix converter with space vector modulation (SVM) and transistor commutation.
R. Wiśniewski +3 more
semanticscholar +1 more source
BRICS Report Series, 1994 Several categorical relationships (adjunctions) between models for concurrency<br /> have been established, allowing the translation of concepts and<br />properties from one model to another. A central example is a coreflection<br />between Petri nets and asynchronous transition systems.
Nielsen, Mogens, Winskel, Glynn
openaire +6 more sources
PEMBELAJARAN MATEMATIKA TERAPAN DENGAN MODEL PETRI NET DAN MATRIKS
Edu Sains: Jurnal Pendidikan Sains dan Matematika, 2018 Penelitian ini bertujuan untuk mengetahui model petri net dan matriks dari suatu permasalahan yang ada disekitar kita. Salah satunya adalah masalah antrian. Kita dapat memanfaatkan pembelajaran matematika untuk membuat model sistemnya.
Ruvita Iffahtur Pertiwi
doaj +1 more source
PN2Maude: An automatic tool to generate Maude specification for Petri net models [PDF]
Computer Science Journal of Moldova, 2023 Currently, Model-Driven Engineering (MDE) plays a key role in the software development process as it aims to handle their increasing complexity and focuses on the automatic generation of code and/or specifications from system models.
Ammar Boucherit +3 more
doaj +1 more source
IEEE Access, 2017 This paper presents a new method of computing a minimal supervisory structure that optimally enforces liveness on the Petri net models for flexible manufacturing systems (FMSs).
Muhammad Bashir +6 more
doaj +1 more source
A Cyber–Physical Systems-Based Double-Layer Mapping Petri Net Model for Factory Process Flow Control
Applied Sciences, 2023 This study is concerned with the imperfect virtual-reality mapping relationship in cyber–physical systems (CPSs) and the challenge faced in knowledge-based decisions. Regarding those problems, a double-layer mapping Petri net (DMPN) model is proposed. By
Yuhai Yang, Xiaodong Liu, Wei Lu
doaj +1 more source
Modelling epistasis in genetic disease using Petri nets, evolutionary computation and frequent itemset mining [PDF]
, 2010 Petri nets are useful for mathematically modelling disease-causing genetic epistasis. A Petri net model of an interaction has the potential to lead to biological insight into the cause of a genetic disease.
Beretta, Lorenzo, Mayo, Michael
core +2 more sources
Journal of Marine Science and Engineering, 2023 The purpose of this study is to show how coloured Petri nets can be used to select the crossing rules guaranteeing that two ships avoid collisions at sea in accordance with the international regulations on this matter.
Vladimir Brozovic +3 more
doaj +1 more source
Internet enabled modelling of extended manufacturing enterprises using the process based techniques [PDF]
, 2004 The paper presents the preliminary results of an ongoing research project on Internet enabled process-based modelling of extended manufacturing enterprises.
Cheng, K, Popov, Y
core +1 more source