Results 111 to 120 of about 3,623,879 (377)

Inhibitor Petri Net that Executes an Arbitrary Given Markov Normal Algorithm

Моделирование и анализ информационных систем, 2011
The inhibitor Petri net with a fixed structure that executes an arbitrary given Markov normal algorithm was constructed. The algorithm and its input string are encoded by nonnegative integer numbers and put into dedicated places of the Petri net which ...
D. A. Zaitsev
doaj  

A Deadlock Prevention Strategy for Petri Nets Through Tuning Time Constraints

IEEE Access
Deadlocks are of paramount importance in resource allocation systems, which are usually treated from the perspective of discrete event systems. This paper develops a deadlock prevention strategy for a system modeled with Petri nets, by endowing ...
Qianlong Zhai, Xin Hu, Ahmed M. El-Sherbeeny, Zhiwu Li   +3 more
doaj   +1 more source

Semantic Embedding of Petri Nets into Event-B

, 2005
We present an embedding of Petri nets into B abstract systems. The embedding is achieved by translating both the static structure (modelling aspect) and the evolution semantics of Petri nets.
Attiogbe, Christian
core   +1 more source

3D Concrete Printing of Triply Periodic Minimum Surfaces for Enhanced Carbon Capture and Storage

Advanced Functional Materials, EarlyView.
A 3D‐printable and carbon‐capturing concrete is developed by replacing cement with diatomaceous earth (DE), which enhances rheology, provides hierarchical porosity, and serves as a nucleation site for carbonation. Maximum absorption of 488.7 gCO2 kgcement−1 is achieved in 7 days, a 142% increase over conventional concrete, and the triply periodic ...
Kun‐Hao Yu, Teng Teng, So Hee Nah, Hua Chai, Yefan Zhi, Kun‐Yu Wang, Yinding Chi, Peter Psarras, Masoud Akbarzadeh, Shu Yang   +9 more
wiley   +1 more source

PetriScape - A plugin for discrete Petri net simulations in Cytoscape

Journal of Integrative Bioinformatics, 2016
Systems biology plays a central role for biological network analysis in the post-genomic era. Cytoscape is the standard bioinformatics tool offering the community an extensible platform for computational analysis of the emerging cellular network together
Almeida Diogo, Azevedo Vasco, Silva Artur, Baumbach Jan   +3 more
doaj   +1 more source

Bright Monocompound Metal Halide Scintillator for Fast Neutron Radiography

Advanced Functional Materials, EarlyView.
Metal halide scintillator, tetraphenylphosphonium manganese bromide (TPP2MnBr4), provides a significant benefit for fast neutron imaging. A fourfold increase in efficiency over traditional zinc sulfide screens is achieved by efficiently utilizing neutron interactions within its homogeneous structure.
Aditya Bhardwaj, Kostiantyn Sakhatskyi, Anastasiia Sakhatska, Pavel Trtik, Ye Wu, Yevhenii Padniuk, Yuliia Kominko, Kai Han, Vladyslav Orlov, Markus Strobl, Andrey L. Rogach, Zhiguo Xia, Sergii Yakunin, Maksym V. Kovalenko   +13 more
wiley   +1 more source

Boolean Petri Nets [PDF]

, 2012
Petri net is a graphical tool invented by Carl Adam Petri [13]. These are used for describing, designing and studying discrete event-driven dynamical systems that are characterized as being concurrent, asynchronous, distributed, parallel, random and/or nondeterministic. As a graphical tool, Petri net can be used for planning and designing a system with
Mukti Acharya, Sangita Kansal, Gajendra Pratap Singh   +2 more
openaire   +3 more sources

Wafer‐Scale Integration of α‐quartz Thin Films toward Super High Frequency Piezoelectric bioNEMS for Chikungunya Virus Detection

Advanced Functional Materials, EarlyView.
Epitaxial piezoelectric α‐quartz/Si BioNEMS sensors, made using soft chemistry, effectively detect the Chikungunya virus. They have a mass sensitivity of 205 pg Hz−1 in liquid and can detect the virus at a limit of 9 ng mL−1. This development enables high‐frequency mass devices for point‐of‐care testing in healthcare and other electronic applications ...
Raissa Rathar, Sijie Ding, David Sanchez‐Fuentes, Claire Jolly, Charlotte André‐Arpin, Rudy Desgarceaux, Nicolas Guillaume, Gustavo Ardila, Ricardo Garcia‐Bermejo, Jaume Gazquez, Sergi Plana‐Ruiz, Laura Picas, Adrian Carretero‐Genevrier   +12 more
wiley   +1 more source

Homology and Bisimulation of Asynchronous Transition Systems and Petri Nets

, 2013
Homology groups of labelled asynchronous transition systems and Petri nets are introduced. Examples of computing the homology groups are given. It is proved that if labelled asynchronous transition systems are bisimulation equivalent, then they have ...
Husainov, Ahmet A.
core  

On the semantics of Petri Nets

, 2006
Petri Place/Transition (PT) 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 term of nonsequential processes and monoidal categories; on the other hand, Winskel's basic unfolding ...
Meseguer, J., Montanari, U., Sassone, V.
openaire   +3 more sources