The increasing network integration of industrial control systems amplifies the risk of cyberattacks on Programmable Logic Controllers (PLCs). In particular, the weak authentication of industrial ...

Abstract: Petri nets have been extensively applied for specification, design, verification, performance evaluation, and simulation of discrete-event control systems. A real-time Petri net is a further ...