Login
Registrati
Reimposta password
Pubblica & Distribuisci
Soluzioni Editoriali
Soluzioni di Distribuzione
Temi
Architettura e design
Arti
Business e Economia
Chimica
Chimica industriale
Farmacia
Filosofia
Fisica
Geoscienze
Ingegneria
Interesse generale
Legge
Letteratura
Linguistica e semiotica
Matematica
Medicina
Musica
Scienze bibliotecarie e dell'informazione, studi library
Scienze dei materiali
Scienze della vita
Scienze informatiche
Scienze sociali
Sport e tempo libero
Storia
Studi classici e del Vicino Oriente antico
Studi culturali
Studi ebraici
Teologia e religione
Pubblicazioni
Riviste
Libri
Atti
Editori
Blog
Contatti
Cerca
EUR
USD
GBP
Italiano
English
Deutsch
Polski
Español
Français
Italiano
Carrello
Home
Riviste
International Journal of Applied Mathematics and Computer Science
Volume 31 (2021): Numero 4 (December 2021)
Accesso libero
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
e
Mateusz Popławski
Mateusz Popławski
| 30 dic 2021
International Journal of Applied Mathematics and Computer Science
Volume 31 (2021): Numero 4 (December 2021)
Advanced Machine Learning Techniques in Data Analysis (special section, pp. 549-611), Maciej Kusy, Rafał Scherer, and Adam Krzyżak (Eds.)
INFORMAZIONI SU QUESTO ARTICOLO
Articolo precedente
Articolo Successivo
Sommario
Bibliografia
Autori
Articoli in questo Numero
Anteprima
PDF
Cita
CONDIVIDI
Pubblicato online:
30 dic 2021
Pagine:
647 - 657
Ricevuto:
27 apr 2021
Accettato:
04 set 2021
DOI:
https://doi.org/10.34768/amcs-2021-0045
Parole chiave
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.