skip to main content

SciTech ConnectSciTech Connect

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

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.
Authors:
; ; ;  [1]
  1. University of Zielona Góra, Licealna 9, 65-417 Zielona Góra (Poland)
Publication Date:
OSTI Identifier:
22499175
Resource Type:
Journal Article
Resource Relation:
Journal Name: AIP Conference Proceedings; Journal Volume: 1702; Journal Issue: 1; Conference: ICCMSE 2015: International conference of computational methods in sciences and engineering 2015, Athens (Greece), 20-23 Mar 2015; Other Information: (c) 2015 AIP Publishing LLC; Country of input: International Atomic Energy Agency (IAEA)
Country of Publication:
United States
Language:
English
Subject:
71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSICS; 97 MATHEMATICAL METHODS AND COMPUTING; CONTROL SYSTEMS; DESIGN; NETWORK ANALYSIS; VALIDATION; VERIFICATION