Results 51 to 60 of about 145,993 (337)
Algorithms, 2016 Despite the recent rapid progress in high throughput measurements of biological data, it is still difficult to gather all of the reaction speed data in biological pathways.
Atsushi Mizuta +2 more
doaj +1 more source
An Operational Petri Net Semantics for the Join-Calculus
, 2012 We present a concurrent operational Petri net semantics for the join-calculus, a process calculus for specifying concurrent and distributed systems. There often is a gap between system specifications and the actual implementations caused by synchrony ...
Mennicke, Stephan
core +2 more sources
Modeling interactive memex-like applications based on self-modifiable petri nets [PDF]
, 2004 This paper introduces an interactive Memex-like application using a self-modifiable Petri Net model – Self-modifiable Color Petri Net (SCPN). The Memex (“memory extender”) device proposed by Vannevar Bush in 1945 focused on the problems of “locating ...
Guan, SU, Liu, W
core +1 more source
Arthritis Care &Research, EarlyView.Objective We aimed to estimate the prevalence and cumulative incidence of hydroxychloroquine retinopathy (HCQ‐R) and its risk factors among patients receiving long‐term HCQ with rheumatic diseases through a systematic review and meta‐analysis of observational studies that used spectral‐domain optical coherence tomography (SD‐OCT) for screening ...
Narsis Daftarian +4 more
wiley +1 more source
Two Algebraic Process Semantics for Contextual Nets
, 2001 We show that the so-called 'Petri nets are monoids' approach initiated by Meseguer and Montanari can be extended from ordinary place/transition Petri nets to contextual nets by considering suitable non-free monoids of places.
A. Corradini +11 more
core +3 more sources
Arthritis Care &Research, Accepted Article.Objectives Hydroxychloroquine (HCQ) is a cornerstone therapy in systemic lupus erythematosus (SLE), yet the weight‐based dosing does not account for clinical factors that can introduce individual variability in drug metabolism and clearance. We leveraged longitudinal data from a prospective SLE cohort to: 1) identify clinical factors that predict ...
Jay J. Patel +6 more
wiley +1 more source
Acta Polytechnica, 2005 One specific model of a digital system in different types of Petri nets is presented. The formal definitions of the basic (black-and-white) Petri net, a place/transition net (P/T net), an arc-constant coloured Petri net (ac-CPN) and a coloured Petri net (
H. Kubátová
doaj
Model Petri Net Produksi Tahu Pada Industri Skala Rumah Tangga
Contemporary Mathematics and Applications (ConMathA), 2023 The process of making tofu includes several steps, namely the process of soaking soybeans, washing soybeans, milling soybeans, boiling or cooking, filtering, settling and adding vinegar. The purpose of this study it was to obtain a Petri Net model of the
Deny Murdianto +2 more
doaj +1 more source
Advanced Engineering Materials, EarlyView.This study reports the development of antibacterial ceramic scaffolds derived from natural bovine bone. The bones were processed through sequential boiling and hydrogen peroxide treatment to remove organic matter, producing porous, mineral‐rich scaffolds.
Mohamad Hassan Taherian +6 more
wiley +1 more source
An Advanced Environment for Hybrid Modeling of Biological Systems Based on Modelica
Journal of Integrative Bioinformatics, 2011 Biological systems are often very complex so that an appropriate formalism is needed for modeling their behavior. Hybrid Petri Nets, consisting of time-discrete Petri Net elements as well as continuous ones, have proven to be ideal for this task ...
Proß Sabrina, Bachmann Bernhard
doaj +2 more sources