Logowanie
Zarejestruj się
Zresetuj hasło
Publikuj i Dystrybuuj
Rozwiązania Wydawnicze
Rozwiązania Dystrybucyjne
Dziedziny
Architektura i projektowanie
Bibliotekoznawstwo i bibliologia
Biznes i ekonomia
Chemia
Chemia przemysłowa
Filozofia
Fizyka
Historia
Informatyka
Inżynieria
Inżynieria materiałowa
Językoznawstwo i semiotyka
Kulturoznawstwo
Literatura
Matematyka
Medycyna
Muzyka
Nauki farmaceutyczne
Nauki klasyczne i starożytne studia bliskowschodnie
Nauki o Ziemi
Nauki o organizmach żywych
Nauki społeczne
Prawo
Sport i rekreacja
Studia judaistyczne
Sztuka
Teologia i religia
Zagadnienia ogólne
Publikacje
Czasopisma
Książki
Materiały konferencyjne
Wydawcy
Blog
Kontakt
Wyszukiwanie
EUR
USD
GBP
Polski
English
Deutsch
Polski
Español
Français
Italiano
Koszyk
Home
Czasopisma
International Journal of Applied Mathematics and Computer Science
Tom 31 (2021): Zeszyt 4 (December 2021)
Otwarty dostęp
Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems
Marcin Wojnakowski
Marcin Wojnakowski
,
Remigiusz Wiśniewski
Remigiusz Wiśniewski
,
Grzegorz Bazydło
Grzegorz Bazydło
oraz
Mateusz Popławski
Mateusz Popławski
| 30 gru 2021
International Journal of Applied Mathematics and Computer Science
Tom 31 (2021): Zeszyt 4 (December 2021)
Advanced Machine Learning Techniques in Data Analysis (special section, pp. 549-611), Maciej Kusy, Rafał Scherer, and Adam Krzyżak (Eds.)
O artykule
Poprzedni artykuł
Następny artykuł
Abstrakt
Referencje
Autorzy
Artykuły w tym zeszycie
Podgląd
PDF
Zacytuj
Udostępnij
Data publikacji:
30 gru 2021
Zakres stron:
647 - 657
Otrzymano:
27 kwi 2021
Przyjęty:
04 wrz 2021
DOI:
https://doi.org/10.34768/amcs-2021-0045
Słowa kluczowe
safeness
,
control part of the cyber-physical system
,
Petri net
,
state machine cover
,
place invariant
© 2021 Marcin Wojnakowski et al., published by Sciendo
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.