The paper presents formal verification method of logic controller specification taking into
account user-specified properties. Logic controller specification may be expressed as Petri …

The paper presents an original approach to model checking of Control Interpreted Petri
Nets. Petri Nets are currently used in the industry, but they are mostly verified only for …

The elevation of design description abstractions is a well accepted technique for handling
the complexity and shortening the design time of modern embedded systems. It is shown …

This article deals with hierarchical decomposition of Petri nets. The following question is
considered: which conditions a subnet should satisfy to make possible its replacement by a …

Hipergrafy są dogodnym narzędziem matematycznym, umożliwiającym zwartą
reprezentację relacji współbieżności lub relacji następstwa w przestrzeni stanów lokalnych …

Algorithmic state machines ASM are one of formal methods of embedded systems
specification. They are defined during system project phase. Potential not detected errors in …

W artykule przedstawiono nowy sposób pokrywania bezpiecznej sieci Petriego minimalną
liczbą podsieci automatowych. Metoda symboliczna polega na wczesnej selekcji …

Wiele metod analizy systemów dyskretnych, stosowanych podczas analizy lub syntezy
układów cyfrowych, wykorzystuje klasyczne grafy niekierowane [7]. W związku ze wzrostem …

Język UML (ang. Unified Modeling Language) jest efektywnym narzędziem w modelowaniu
rożnego rodzaju systemów. Jego podzbiorem są diagramy statechart oparte na mapach …

W artykule wskazano na korzyści płynące z wykorzystania doskonałych bezpiecznych sieci
Petriego w projektowaniu współbieżnych układów sterujących. Przedstawiono sposób …