Model checking based on prefixes of petri net unfoldings
The human society is becoming increasingly dependent on automated control systems, and the correct behaviour and reliability of the hardware and software used to implement them is often of a paramount importance. Yet, the growing complexity of such system makes it hard to design them without defects...
Main Author: | |
---|---|
Published: |
University of Newcastle Upon Tyne
2003
|
Subjects: | |
Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.270786 |