Results 61 to 70 of about 31,117 (298)

Encoding Higher Level Extensions of Petri Nets in Answer Set Programming

, 2013
Answering realistic questions about biological systems and pathways similar to the ones used by text books to test understanding of students about biological systems is one of our long term research goals.
Anwar, Saadat, Baral, Chitta, Inoue, Katsumi   +2 more
core   +1 more source

Testing real-time systems using TINA [PDF]

, 2009
The paper presents a technique for model-based black-box conformance testing of real-time systems using the Time Petri Net Analyzer TINA. Such test suites are derived from a prioritized time Petri net composed of two concurrent sub-nets specifying ...
A. David, A. En-Nouaary, A. Hessel, A. Khoumsi, B. Berthomieu, B. Berthomieu, B. Berthomieu, B. Berthomieu, B. Bérard, B. Bérard, B. Nielsen, C. Choffrut, D. Lime, E. Brinksma, E. Fersman, F. Demichelis, J. Tretmans, J.C. Fernandez, J.C. Lin, M. Krichen, P. Bouyer, P. Bouyer, P. Bouyer, P.M. Merlin, R. Alur, R. Cardell-Oliver, R. Cleaveland, R. Vries de, S. Chaki, S.-W. Lin, T. Higashino, T. Jéron, T. Jéron, T.A. Henzinger, V. Diekert, W. Khansa   +35 more
core   +2 more sources

Risk of Retinopathy Associated with Long‐Term Use of Hydroxychloroquine in Patients with Rheumatic Diseases: A Systematic Review and Meta‐Analysis

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, Chloe Yue, Steve D Levasseur, Hui Xie, J. Antonio Avina‐Zubieta   +4 more
wiley   +1 more source

A Petri Net-Based Algorithm for Solving the One-Dimensional Cutting Stock Problem

Applied Sciences
This paper addresses the one-dimensional cutting stock problem, focusing on minimizing total stock usage. Most procedures that deal with this problem reside on linear programming methods, heuristics, metaheuristics, and hybridizations. These methods face
Irving Barragan-Vite, Joselito Medina-Marin, Norberto Hernandez-Romero, Gustavo Erick Anaya-Fuentes   +3 more
doaj   +1 more source

CSL model checking of Deterministic and Stochastic Petri Nets [PDF]

, 2005
Deterministic and Stochastic Petri Nets (DSPNs) are a widely used high-level formalism for modeling discrete-event systems where events may occur either without consuming time, after a deterministic time, or after an exponentially distributed time.
Haverkort, Boudewijn R., Martinez, José M   +1 more
core   +3 more sources

Towards Reachability Trees for High-level Petri Nets

DAIMI Report Series, 1985
<p>High-level Petri nets have been introduced as a powerful net type, by which it is possible to handle rather complex systems in a succinct and manageable way. The success of high-level Petri nets is undebatable when we speak about description, but there is still much work to be done to establish the necessary analysis methods.
Huber, Peter, Jensen, Arne M., Jepsen, Leif O., Jensen, Kurt   +3 more
openaire   +3 more sources

Natural Bone‐Derived Ceramic Scaffolds Functionalized with Chitosan‐Gold, Chitosan‐Magnesium, and Chitosan‐Zinc for Enhanced Antibacterial Activity

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, Anh Thi Le, Anh Thi Van Le, Dung My Thi Dang, Tin Chanh Duc Doan, Chien Mau Dang, Martin Bolduc   +6 more
wiley   +1 more source

Biodegradable and Recyclable Luminescent Mixed‐Matrix‐Membranes, Hydrogels, and Cryogels based on Nanoscale Metal‐Organic Frameworks and Biopolymers

Advanced Functional Materials, EarlyView.
The study presents biodegradable and recyclable mixed‐matrix membranes (MMMs), hydrogels, and cryogels using luminescent nanoscale metal‐organic frameworks (nMOFs) and biopolymers. These bio‐nMOF‐MMMs combine europium‐based nMOFs as probes for the status of the materials with the biopolymers agar and gelatine and present alternatives to conventional ...
Moritz Maxeiner, Julian Burkhart, Kateryna Borysova, Chiara Mazzariol, Klaus Müller‐Buschbaum   +4 more
wiley   +1 more source

Anonymity-preserving Reputation Management System for health sector. [PDF]

PLoS ONE, 2018
In health sector, trust is considered important because it indirectly influences the quality of health care through patient satisfaction, adherence and the continuity of its relationship with health care professionals and the promotion of accurate and ...
Farhana Jabeen, Zara Hamid, Wadood Abdul, Sanaa Ghouzali, Abid Khan, Saif Ur Rehman Malik, Mansoor Shaukat Khan, Sarfraz Nawaz   +7 more
doaj   +1 more source

The use of Petri nets for modeling pipelined processors [PDF]

, 1987
This paper discusses the use of Petri Nets for modeling and analyzing pipelined processors. Petri Nets are particularly well-suited to modeling the synchronization, buffering, resource contention and delicate timing so common in pipelined processors ...
Razouk, Rami R.
core