Results 51 to 60 of about 64,411 (297)
The Equivalency between Logic Petri Workflow Nets and Workflow Nets
The Scientific World Journal, 2015 Logic Petri nets (LPNs) can describe and analyze batch processing functions and passing value indeterminacy in cooperative systems. Logic Petri workflow nets (LPWNs) are proposed based on LPNs in this paper.
Jing Wang, ShuXia Yu, YuYue Du
doaj +1 more source
Extension of Petri Nets by Aspects to Apply the Model Driven Architecture Approach [PDF]
, 2005 Within MDA models are usually created in the UML. However, one may prefer to\ud use different notations such as Petri-nets, for example, for modelling concurrency\ud and synchronization properties of systems. This paper claims that techniques that\ud are
Aksit, M., Roubtsova, E.E.
core +1 more source
Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications
, 2019 Petri nets are a formalism for modelling and reasoning about the behaviour of distributed systems. Recently, a reversible approach to Petri nets, Reversing Petri Nets (RPN), has been proposed, allowing transitions to be reversed spontaneously in or out ...
A Philippou +13 more
core +1 more source
Mapping RT-LOTOS specifications into Time Petri Nets [PDF]
, 2006 RT-LOTOS is a timed process algebra which enables compact and abstract specification of real-time systems. This paper proposes and illustrates a structural translation of RT-LOTOS terms into behaviorally equivalent (timed bisimilar) finite Time Petri ...
Boyer, Marc +3 more
core +1 more source
FEBS Open Bio, EarlyView.TisIBP8, a fungal‐derived hyperactive ice‐binding protein, helps Caenorhabditis elegans survive dehydration. It localizes near cell membranes, reduces cell damage, and helps maintain membrane structure during drying. These results suggest that ice‐binding proteins can protect cells from dehydration stress as well as freezing stress.
Daiki Shimose +9 more
wiley +1 more source
Arthritis Care &Research, EarlyView.Objective We evaluated the role of 25‐hydroxyvitamin D (25[OH]D), prednisone, and other risk factors for bone mineral density (BMD) loss and osteoporosis in systemic lupus erythematosus (SLE). Methods We calculated the association between 25(OH)D levels and other potential risk factors and BMD measures (spine T scores) and osteoporosis (defined as a T ...
Nima Madanchi +4 more
wiley +1 more source
Advances in Mechanical Engineering, 2016 Decision-making in technological systems, such as communication networks, manufacturing facilities and supply chains, constitutes a common requirement able to lead companies galore to success or failure.
Juan-Ignacio Latorre-Biel +5 more
doaj +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
Deadlock analysis and control based on Petri nets: A siphon approach review
Advances in Mechanical Engineering, 2017 Deadlocks should be eliminated in highly automated manufacturing systems since their occurrence implies the stoppage of the whole or partial system operation.
YiFan Hou, Kamel Barkaoui
doaj +1 more source
Interpreted Petri Nets Applied to Autonomous Components within Electric Power Systems
Applied Sciences, 2022 In this article, interpreted Petri nets are applied to the area of power and energy systems. These kinds of nets, equipped with input and output signals for communication with the environment, have so far proved to be useful in the specification of ...
Iwona Grobelna, Paweł Szcześniak
doaj +1 more source