Results 131 to 140 of about 145,352 (236)

Formal modeling of a causal consistent distributed system and verification of its history <i>via</i> model checking using colored Petri net. [PDF]

PeerJ Comput Sci
Alsaegg KAM, Pashazadeh S, Zolfy Lighvan M.   +2 more
europepmc   +1 more source

Hybrid Cyber Petri net Modelling, Simulation and Analysis of Master-Slave Charging for Wireless Rechargeable Sensor Networks. [PDF]

Sensors (Basel), 2021
Qin H, Zhao B, Xu L, Bai X.
europepmc   +1 more source

Petri net

Scholarpedia, 2008
Wolfgang Reisig, Carl Petri
openaire   +1 more source

Hierarchical Structuring of a Workflow Model in Petri-Net

, 2004
Xinlei Zhao, Yongsun Choi
openalex   +1 more source

Petri net based transformer fault diagnosis

, 2004
Pavlos S. Georgilakis, Yiannis A. Katsigiannis, Kimon P. Valavanis   +2 more
openalex   +1 more source

A Petri Net and LSTM Hybrid Approach for Intrusion Detection Systems in Enterprise Networks. [PDF]

Sensors (Basel)
Volpe G, Fiore M, la Grasta A, Albano F, Stefanizzi S, Mongiello M, Mangini AM.   +6 more
europepmc   +1 more source

PEPN-GRN: A Petri net-based approach for the inference of gene regulatory networks from noisy gene expression data. [PDF]

PLoS One, 2021
Vatsa D, Agarwal S.
europepmc   +1 more source

XSLT template for generating of diagram of object-oriented Petri net from the OPNML format [PDF]

, 2014
Petr Jedlička
openalex   +1 more source

Automatic construction of Petri net models for computational simulations of molecular interaction network. [PDF]

NPJ Syst Biol Appl
Lin X, Chang X, Zhang Y, Gao Z, Chi X.
europepmc   +1 more source

Petri-Net-Based Charging Scheduling Optimization in Rechargeable Sensor Networks. [PDF]

Sensors (Basel)
Qin H, Ding W, Xu L, Ruan C.
europepmc   +1 more source