Results 51 to 60 of about 21,375,197 (296)

High-Level Petri Net Model Checking with AlPiNA

Fundamenta Informaticae, 2011
Although model checking is heavily used in the hardware domain, it did not take off in software engineering yet. One of the possible reasons is that software models are very complex. They integrate many dimensions such as data types and concurrency, leading to the infamous state space explosion problem.
Hostettler Steve, Marechal Alexis, Linard Alban, Risoldi Matteo, Buchs Didier   +4 more
openaire   +6 more sources

Purification and preparation of Marchantia polymorpha Auxin Response Factor 2 for phase separation studies

FEBS Open Bio, EarlyView.
We describe detailed protocols for the purification and preparation of Marchantia polymorpha Auxin Response Factor 2 (MpARF2). This protein is fused to an MBP solubility tag and an mNG fluorescent tag and is purified from Escherichia coli. The presented procedures make it possible to study MpARF2 assemblies, which could arise from phase separation ...
Bas Janssen, Robin Romein, Willy A. M. van den Berg, Simon Lindhoud, Jan Willem Borst, Carlo P. M. van Mierlo   +5 more
wiley   +1 more source

A Timed Colored Petri Net Simulation-Based Self-Adaptive Collaboration Method for Production-Logistics Systems

Applied Sciences, 2017
Complex and customized manufacturing requires a high level of collaboration between production and logistics in a flexible production system. With the widespread use of Internet of Things technology in manufacturing, a great amount of real-time and multi-
Zhengang Guo, Yingfeng Zhang, Xibin Zhao, Xiaoyu Song   +3 more
doaj   +1 more source

A User-Centric QoS-Aware Multi-Path Service Provisioning in Mobile Edge Computing

IEEE Access, 2021
Recent development in modern wireless applications and services, such as augmented reality, image processing, and network gaming requires persistent computing on average commercial wireless devices to perform complex tasks with low latency.
Saif U. R. Malik, Tehsin Kanwal, Samee U. Khan, Hassan Malik, Haris Pervaiz   +4 more
doaj   +1 more source

High Level Petri Nets Analysis with Helena [PDF]

, 2005
This paper presents the high level Petri nets analyzer Helena. Helena can be used for the on-the-fly verification of state properties, i.e., properties that must hold in all the reachable states of the system, and deadlock freeness. Some features of Helena make it particularly efficient in terms of memory management. Structural abstractions techniques,
openaire   +3 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

Intelligent conflict detection of IoT services using high-level Petri nets

Complex & Intelligent Systems
Internet of Things has become a common paradigm for various domains. To meet a user’s complex requirement, we should compose multiple IoT devices (IoT services) to provide comprehensive services to the user. However, these services usually coexist, which
Rong Yang, Mou Wu, Xueqin Gui, Hongsheng Chen   +3 more
doaj   +1 more source

Clinical, Histologic, and Serological Predictors of Renal Function Loss in Lupus Nephritis

Arthritis Care &Research, EarlyView.
Objective Kidney survival is the ultimate goal in lupus nephritis (LN) management, but long‐term predictors remain inadequately studied, requiring long‐term follow‐up. This study aimed to identify baseline and early longitudinal predictors of kidney survival in the Accelerating Medicines Partnership LN longitudinal cohort.
Shangzhu Zhang, Laurence Magder, Daniel Goldman, Judith A. James, Joel M. Guthridge, Carla Guthridge, Peter Izmirly, Jill P. Buyon, H. Michael Belmont, Richard A. Furie, Noa Schwartz, Chaim Putterman, Jennifer L. Barnas, Jennifer H. Anolik, Sarah French, Maria Dall'Era, Avi Z. Rosenberg, Jeffrey Hodgin, Dawit S. Demeke, the Accelerating Medicines Partnership Rheumatoid Arthritis and Systemic Lupus Erythematosus (RA/SLE) Network, Michelle Petri, Andrea Fava   +21 more
wiley   +1 more source

The Lupus Damage Index Revision Program: Results From the Item Generation and Reduction Phases

Arthritis Care &Research, EarlyView.
Objective A data‐driven and expert/patient consensus‐based project to develop a revised Systemic Lupus International Collaborating Clinics (SLICC)/American College of Rheumatology (ACR) Damage Index (SDI) is under way supported by SLICC, ACR, and the Lupus Foundation of America. Our objective is to report the item generation and reduction phase results
Burak Kundakci, Megan R. W. Barber, Ann E. Clarke, Sindhu R. Johnson, Anselm Mak, Hermine I. Brunner, Murat Inanc, Rosalind Ramsey‐Goldman, Guillermo Ruiz‐Irastorza, Ellen M. Ginzler, John G. Hanly, Alexandra Legge, Cynthia Aranow, Laurent Arnaud, Nathalie Costedoat‐Chalumeau, Dafna D. Gladman, Søren Jacobsen, Michelle Petri, Clovis A. Silva, Évelyne Vinet, Alexandre E. Voskuyl, SDI Revision Literature Review Groups, SDI Revision Delphi Panel, SDI Revision Item Reduction Committee, SDI Revision Clinical Domain Groups, Ian N. Bruce   +25 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