Modelling and verification of ambient systems using Petri nets
The expeditious development of technology in the past decades resulted in the introduction of concurrent systems that incorporate both ubiquitous and pervasive computing, the ambient systems. These systems are named after their ability to be completely embedded in the environment in which they opera...
| Main Author: | |
|---|---|
| Published: |
University of Newcastle upon Tyne
2015
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.692663 |