Design and verification of distributed logic controllers with application of Petri nets

Autor:	Michał Grobelny, M. Wiśniewska, Remigiusz Wiśniewski, Iwona Grobelna
Rok vydání:	2015
Předmět:	Model checking High-level verification Functional verification Theoretical computer science Programming language Computer science Control system Temporal logic Petri net computer.software_genre computer Automaton Network analysis
Zdroj:	AIP Conference Proceedings.
ISSN:	0094-243X
DOI:	10.1063/1.4938881
Popis:	The paper deals with the designing and verification of distributed logic controllers. The control system is initially modelled with Petri nets and formally verified against structural and behavioral properties with the application of the temporal logic and model checking technique. After that it is decomposed into separate sequential automata that are working concurrently. Each of them is re-verified and if the validation is successful, the system can be finally implemented.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::a64b5b08d234dbd41cbe7c809692d196 https://doi.org/10.1063/1.4938881 Zobrazit plný text záznamu