Object-Centric Replay-Based Conformance Checking: Unveiling Desire Lines and Local Deviations by Julio C Carrasquel, Khalil Mecheraoui

Subjects: Get full text

CPN Tools-Assisted Simulation and Verification of Nested Petri Nets by L. W. Dworza´nski, I. A. Lomazova

Subjects: “…nested petri nets…”
Get full text

DETECTION OF DEADLOCKS IN PARALLEL PROGRAMS AS SOLUTION OF LINEAR DIOPHANTINE EQUATIONS by Olga F. Babakhyan

Subjects: Get full text

Petri Nets Modeling of a Flexible Manufacturing System by Balti Ala, Amel Yahyaoui, Mohamed Najah Lakhoua

Subjects: “…flexible manufacturing system, modeling, petri nets…”
Get full text

Review of hierarchy in Petri Nets by Michał Markiewicz, Lesław Gniewek

Subjects: “…petri nets…”
Get full text

On the Approximation of the Resource Equivalences in Petri Nets with the Invisible Transitions by Vladimir A. Bashkin

Subjects: Get full text

System Proposal for Supervision of Critical Adverse Processes in Patients with Implanted Ventricular Assist Devices by José R. C. Sousa Sobrinho, Marcosiris A. O. Pessoa, Fabrício Junqueira, Paulo E. Miyagi, Diolino J. Santos Filho

Subjects: Get full text

Modeling of parallel program synchronization primitives by Oleg S. Kryukov, Anna G. Voloshko, Alexey N. Ivutin

Subjects: Get full text

On the Decidability of Soundness of Workflow Nets with an Unbounded Resource by V. A. Bashkin, I. A. Lomazova

Subjects: “…petri nets…”
Get full text

Overview of control techniques for multicellular converter by P. Djondiné

Subjects: Get full text

Extended Sequential Function Chart by Leslaw Gniewek, Michal Markiewicz

Subjects: Get full text

On the Hereditary Properties of Modular Nets by V. A. Bashkin

Subjects: “…petri nets…”
Get full text

On the Efficient Representation of an Unbounded Resource with the Aid of One-Counter Circuits by V. A. Bashkin

Subjects: Get full text

Access Control Verification in Smart Contracts Using Colored Petri Nets by Issam Al-Azzoni, Saqib Iqbal

Subjects: Get full text

A mathematical model of an order management automated system within the process of production technological preparation in aviation enterprisers by P. E. Efimova

Subjects: Get full text

Model for Evaluation of Aircraft Boarding Under Disturbances by Beata Płanda, Jacek Skorupski

Subjects: Get full text

Modeling the therapeutic dynamics of acupuncture and moxibustion: a systems biology approach to treatment optimization by Quan Gan, Qi-Wei Ge, Chuanxia Liu, Zhaoman Zhong, Jiaying Wu, Lei Shi, Jin Xu, Chen Li

Subjects: Get full text

Research on two-phase grid task scheduling based on Petri nets by XIONG Zeng-gang 1, YANG Yang2, ZENG Ming2

Subjects: Get full text

Approximating Bisimulation in One-counter Nets by V. A. Bashkin

Subjects: Get full text

Security analysis of the RSSP-II protocol and a novel security enhancement approach by FENG Tao, TIE Xiaoping, WU Yi, SHI Jianming

Subjects: Get full text