Results 61 to 70 of about 21,187 (254)
Controllable Deadlocks in Parallel Resource-Constrained Workflows
Моделирование и анализ информационных систем, 2014 We study the verification of the soundness property for workflow nets extended with resources. A workflow is sound if it terminates properly (no deadlocks and livelocks are possible).
V. A. Bashkin, N. Yu. Panfilova
doaj +1 more source
Who Cares About Carbon Performance Strategy? Ownership Structure as a Driver for Carbon Performance
Business Strategy and the Environment, EarlyView.ABSTRACT This research aims to highlight the empirical, theoretical, and corporate governance arguments employed in the academic literature that examines ownership structure as a determinant of carbon performance—a key element in contemporary climate governance frameworks.
Thicia Stela Lima Sampaio +2 more
wiley +1 more source
Transition-based deadlock control policy using reachability graph for flexible manufacturing systems
Advances in Mechanical Engineering, 2016 Most existing deadlock prevention policies deal with deadlock problems arising in flexible manufacturing systems modeled with Petri nets by adding control places.
Xiuyan Zhang, Murat Uzam
doaj +1 more source
Business Strategy and the Environment, EarlyView.ABSTRACT The transition to a circular economy requires firms to mobilize organizational capabilities that redesign how value is created, delivered, and captured. Although Circular Business Model Innovation (CBMI) has emerged as the central operational mechanism for circular transformation, the capability stack that triggers CBMI and the ...
Haowen Li +4 more
wiley +1 more source
Energy Flexibilization and Demand Response for a Novel Decentralized Power‐to‐Methanol Process
Chemie Ingenieur Technik, EarlyView.This study presents the results of an optimization framework for the scheduling of a Power‐to‐methanol process coupled with an electrolyser, renewable energy sources and a battery. The optimal dynamic operating schedule is computed with different configurations and boundary conditions, showing the advantages of flexible operation.
Max Kollmer +5 more
wiley +1 more source
MathematicsThe supervisory control of Petri nets aims to enforce the undesired behavior as unreachable by designing a set of control places. This work presents a set cover approach to design maximally permissive supervisors.
Yongyao Li, Yufeng Chen, Rui Zhou
doaj +1 more source
Advances in Mechanical Engineering, 2018 Nowadays, many kinds of flexible manufacturing systems are used to process many complex manufacturing works due to their machine flexibility and routing flexibility. However, such competition (i.e.
Ter-Chan Row, Yen-Liang Pan
doaj +1 more source
Study on spin lock test in Nucleus PLUS
Dianzi Jishu Yingyong, 2018 Nucleus PLUS is a new generation of embedded real-time multitasking operating system kernel.In the multi-core operating system environment,multiple tasks simultaneously access the kernel at the same time,and the spin lock can handle the synchronization ...
Li Yashuang, Ji Xina, Wang Zhen, He Tao
doaj +1 more source
First Operation Results of a Methanol Demonstration Plant With Real Steel Mill Gases
Chemie Ingenieur Technik, EarlyView.A demonstration plant with industrial setup regarding length, diameter, boiling water cooling system and gas recycle was initially operated with cleaned blast furnace gas and compared with earlier experiments with bottle gases. Dynamic disturbances from the steel mill and gas cleaning unit were noticed and could be compensated by the control system ...
Johannes Michael Voß, Tim Schulzke
wiley +1 more source
IEEE Access, 2020 Various deadlock control policies for automated manufacturing systems with reliable and shared resources have been developed, based on Petri nets. In practical applications, a resource may be unreliable.
Abdulrahman Al-Ahmari +3 more
doaj +1 more source