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: | Konios, Alexandros |
---|---|
Published: |
University of Newcastle upon Tyne
2015
|
Subjects: | |
Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.692663 |
Similar Items
-
Models of complex adaptive systems with underlying network structure
by: Choe, Sehyo Charley
Published: (2007) -
Development and applications of fuzzy logic systems for reservoir characterisation and modelling
by: Finol, Jose J.
Published: (2001) -
Models of linear polymorphism
by: Maneggia, Paola
Published: (2004) -
Geometric fuzzy logic systems
by: Coupland, Simon C.
Published: (2006) -
On Chang’s conjecture, indiscernibles, and the core model
by: Sharpe, Ian
Published: (2007)