Model-based diagnosis of controllers for data risk overflow
Călin Ciufudean, Constantin Filote, Dumitru Amarandei · 2008
An important characteristic of data transmission systems (DTS's) is modularity. Since high transfer lines are widely used and constitute an important subclass of DTS's, in this paper we focus on formal analysis of logic controllers for high volume transfer lines. We propose a systematic approach to model and to verify the space size of the logic controllers using Petri nets. We consider that Petri net models of DTS's can be decomposed in a few typical modules and the analysis of the entire system is made following a bottom-up algorithm. We have chosen to model the logic controllers with Petri nets, in order to take advantage of well developed theories for analysis and verification.