Results 241 to 250 of about 31,117 (298)

Neutrophil expression of CD41/CD61 complex contributes to their adhesiveness in both healthy individuals and heart failure patients. [PDF]

BMC Immunol
Djouani M, Dumont BL, Neagoe PE, Villeneuve L, Tardif JC, Gagnon D, Racine N, White M, Sirois MG.   +8 more
europepmc   +1 more source

The Efficacy of Protective Nets Against <i>Drosophila suzukii</i>: The Effect of Temperature, Airflow, and Pest Morphology. [PDF]

Insects
Álvarez AJ, Oliva RM, Martínez-Valderrama J.   +2 more
europepmc   +1 more source

Government's public panic emergency capacity assessment and response strategies under sudden epidemics: A fuzzy Petri net-based approach. [PDF]

Heliyon
Li C, Zhao Y, Gao L, Ni Y, Liu X.
europepmc   +1 more source

Cryopreservation of Anopheles gambiae Larvae. [PDF]

Adv Biol (Weinh)
Joshi P, Chau Z, Callahan-Muller A, Nyasembe VO, Acha K, Dotson EM, Toner M, Sandlin RD.   +7 more
europepmc   +1 more source

Tumor associated neutrophils promote prostate cancer progression by mediating neutrophil trap secretion through PSMA1- NF-κB-HIF-1α signaling axis. [PDF]

Front Immunol
Dai Q, Wang H, Li F, Huang R, Jiang C, Yuan L, Wang Y, Li X.   +7 more
europepmc   +1 more source

Cross-PLC: An I3oT Cross Platform to Manage Communications for Applications in Real Factories. [PDF]

Sensors (Basel)
Lacasa A, Llopis J, Montés N, Peinado-Asensi I, Garcia E.   +4 more
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

High-level algebraic Petri nets

Information and Software Technology, 1995
Abstract In this paper, a formal method for specifying and verifying concurrent and distributed systems is presented. The formal method has adapted and extended the recent research results in integrating Petri nets with algebraic specifications by incorporating guarded functions explicitly into the net definition, and offers a new technique for ...
Chieh-ying Kan, Xudong He
openaire   +1 more source

Conflict handling in high level Petri Nets

Microprocessing and Microprogramming, 1993
Abstract The main new result of the research work reported in the paper is a methodology for detecting and signalizing conflicts in high level Petri Nets applied in simulating complex systems.
A. Jávor, Á. Vigh
openaire   +1 more source

High-level hybrid Petri nets: a definition

Proceedings of 35th IEEE Conference on Decision and Control, 2002
The paper presents a model which provides a simple graphical representation of hybrid systems and takes advantage of the modular structure of Petri nets in giving a compact description of systems composed of interacting subsystems, both time-continuous and discrete-event.
GIUA, ALESSANDRO, USAI, ELIO
openaire   +2 more sources

Modelling Mobility in High-level Petri Nets

Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007
We propose a structural translation of terms from a variant of the KLAIM process algebra which includes arbitrary tuples of data values as well as conditionals into behaviourally equivalent high-level Petri nets. This defines a semantics for mobility allowing one to deal directly with concurrency and causality.
Devillers, Raymond, Klaudel, Hanna, Koutny, Maciej   +2 more
openaire   +2 more sources