[BOOK][B] Dynamic analysis of Petri net-based discrete systems

A Karatkevich - 2007 - books.google.com
Design of modern digital hardware systems and of complex software systems is almost
always connected with parallelism. For example, execution of an object-oriented p-gram can …

Determinism in cyber-physical systems specified by interpreted Petri nets

R Wisniewski, I Grobelna, A Karatkevich - Sensors, 2020 - mdpi.com
In this paper, we study selected aspects of determinism in the control part of a cyber-physical
system (CPS) that is specified by a Petri net-based model. In particular, the control …

Implementation of an example of Hierarchical Petri Net (HPN) in LAD language in TIA Portal

G Andrzejewski, W Zając, K Krzywicki… - Procedia Computer …, 2021 - Elsevier
In the paper there is described a process of implementation of an example of Hierarchical
Petri Net (HPN) in Ladder Diagram, implemented with Totally Integrated Portal engineering …

The practitioner's perspective on clinical pathway support systems

P O'Leary, N Carroll… - 2014 IEEE International …, 2014 - ieeexplore.ieee.org
Context. Clinical pathway support system can ease the clinician burden by prompting
appropriate actions at different stages of a patient consultation. However, while the attitudes …

Influence of programmable logic controller program structure to digital inputs reaction time

G Andrzejewski, W Zając, A Karasiński… - Procedia Computer …, 2022 - Elsevier
Abstract Design of digital control systems is often based on use of Programmable Logic
Controllers (PLC). Such devices offer a broad variety of functions that can be organized in …

Petri net based rapid prototy** of digital complex system

D Andreu, G Souquet, T Gil - 2008 IEEE Computer Society …, 2008 - ieeexplore.ieee.org
This paper deals with the automatic translation of interpreted generalized Petri Nets with
time into VHDL, for rapid prototy** on programmable logic device purposes. This …

Simulation of a sequential system using the S7-1200 platform and touch panel KTP700 in the context of technical education

G Andrzejewski, W Zając, A Karasiński… - Procedia Computer …, 2024 - Elsevier
The article presents results of the research on design of novel, low-cost and wide-applicable
solution to support testing and simulation of the industrial automation and control systems …

[PDF][PDF] Hierarchical decomposition of Petri nets for digital microsystems design

A Karatkevich, G Andrzejewski - Proceedings of the 2006 …, 2006 - researchgate.net
Вимоги до оформлення тез для публікації у матеріалах конференці Page 1 Appendix Додаток
Hierarchical Decomposition of Petri Nets for Digital Microsystems Design Andrei Karatkevich …

Petri Nets in Design of Control Algorithms

A Karatkevich - Design of reconfigurable logic controllers, 2015 - Springer
The chapter presents an overview of applying the Petri nets as a model and a way of
specification of the parallel logical control algorithms. The history of using the Petri nets for …

[PDF][PDF] Conception of hierarchical fuzzy interpreted Petri net

M Markiewicz, L Gniewek - Stud. Inf. Control, 2017 - scholar.archive.org
This article presents a conception and a formal definition of hierarchical fuzzy interpreted
Petri net as a representation of a flat net. This solution allows to create control systems using …