Results 51 to 60 of about 3,623,879 (377)
Arthritis Care &Research, Accepted Article.Objective We assessed whether shared decision‐making (SDM), and patient acceptability, feasibility, and overall satisfaction with a computerized patient decision aid (PtDA) for patients with systemic lupus erythematosus (SLE), differs by PtDA setting, modality, and the viewing experience.
Jasvinder A. Singh +3 more
wiley +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
Theoretical Computer Science, 1984 The author deals with the reachability problem for Petri nets. He defines normal Petri nets (in which the total number of tokens in an arbitrary minimal circuit does not decrease by firing transitions) and shows that their reachability sets are effectively computable semilinear sets.
openaire +2 more sources
Electronic Notes in Theoretical Computer Science, 2006 AbstractThe aim of this paper is an introduction to the area of Petri net transformations, a rule-based approach for dynamic changes of the net structure of Petri nets. This is especially important for the stepwise construction of Petri nets in the sense of the software development process in software engineering.
Julia Padberg +2 more
openaire +2 more sources
Arthritis Care &Research, Accepted Article.Objective Lupus low disease activity state (LLDAS) is a validated treatment target in systemic lupus erythematosus (SLE) but limited studies have explored the role of LLDAS in lupus nephritis (LN). This study aims to investigate the frequency and predictors of LLDAS attainment, and its benefit on LN relapse and renal function preservation in patients ...
Chak Kwan Cheung +6 more
wiley +1 more source
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
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
Approximating Petri Net Reachability Along Context-free Traces [PDF]
, 2011 We investigate the problem asking whether the intersection of a context-free language (CFL) and a Petri net language (PNL) is empty. Our contribution to solve this long-standing problem which relates, for instance, to the reachability analysis of ...
Atig, Mohamed Faouzi, Ganty, Pierre
core +4 more sources
Advanced Biology, EarlyView.This study develops a tissue‐engineered model of the atherosclerotic cap using human mesenchymal stromal cells (MSCs). After 2 weeks of culture to produce a collagenous matrix, a mineralizing medium induces microcalcifications over 4 weeks. These constructs, imaged with second harmonic generation microscopy, lead to reduced ultimate stress at rupture ...
Imke L. Jansen +4 more
wiley +1 more source
A new approach for diagnosability analysis of Petri nets using Verifier Nets [PDF]
, 2012 In this paper, we analyze the diagnosability properties of labeled Petri nets. We consider the standard notion of diagnosability of languages, requiring that every occurrence of an unobservable fault event be eventually detected, as well as the stronger ...
Cabasino MP +3 more
core +2 more sources