Advances in Petri nets 1986, part I on Petri nets: central models and their properties
IEEE Transactions on Computers
Stochastic petri net simulation
WSC '89 Proceedings of the 21st conference on Winter simulation
Stochastic Petri nets: an elementary introduction
Advances in Petri nets 1989
Simulation with active objects: an approach to combined modelling
Simulation Practice and Theory
High-speed networks: TCP/IP and ATM design principles
High-speed networks: TCP/IP and ATM design principles
Queueing Petri nets with product form solution
Performance Evaluation
High Speed Networks and Internets: Performance and Quality of Service
High Speed Networks and Internets: Performance and Quality of Service
High Speed LAN Technology Handbook
High Speed LAN Technology Handbook
Power-aware source routing protocol for mobile ad hoc networks
Proceedings of the 2002 international symposium on Low power electronics and design
A Brief Introduction to Coloured Petri Nets
TACAS '97 Proceedings of the Third International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Security Versus Performance Requirements in Data Communications Systems
ESORICS '94 Proceedings of the Third European Symposium on Research in Computer Security
Product Form Queueing Networks
Performance Evaluation: Origins and Directions
Petri Nets in Performance Analysis: An Introduction
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
An Introduction to the Practical Use of Coloured Petri Nets
Lectures on Petri Nets II: Applications, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Modeling and Quantification of Security Attributes of Software Systems
DSN '02 Proceedings of the 2002 International Conference on Dependable Systems and Networks
Entropy maximisation and open queueing networks with priorities and blocking
Performance Evaluation
Queueing Networks and Markov Chains
Queueing Networks and Markov Chains
Performance of Secure Ad Hoc Sensor Networks Utilizing IEEE802.11b WEP
ICW '05 Proceedings of the 2005 Systems Communications
Performance Modeling and Evaluation of Distributed Component-Based Systems Using Queueing Petri Nets
IEEE Transactions on Software Engineering
Opportunistic Encryption: A Trade-Off between Security and Throughput in Wireless Networks
IEEE Transactions on Dependable and Secure Computing
Stochastic Discrete Event Systems: Modeling, Evaluation, Applications
Stochastic Discrete Event Systems: Modeling, Evaluation, Applications
Towards a library of composable models to estimate the performance of security solutions
WOSP '08 Proceedings of the 7th international workshop on Software and performance
AINAW '08 Proceedings of the 22nd International Conference on Advanced Information Networking and Applications - Workshops
An Adaptive Tradeoff Model for Service Performance and Security in Service-Based Systems
ICWS '09 Proceedings of the 2009 IEEE International Conference on Web Services
Toward Development of Adaptive Service-Based Software Systems
IEEE Transactions on Services Computing
Parametric analysis of queuing networks
IBM Journal of Research and Development
A queuing-theoretic framework for modeling and analysis of mobility in WSNs
PerMIS '08 Proceedings of the 8th Workshop on Performance Metrics for Intelligent Systems
Introduction to security metrics
Dependability metrics
Performance and security tradeoff
SFM'10 Proceedings of the Formal methods for quantitative aspects of programming languages, and 10th international conference on School on formal methods for the design of computer, communication and software systems
Tradeoffs between security and communication performance in wireless mesh networks
WOWMOM '10 Proceedings of the 2010 IEEE International Symposium on A World of Wireless, Mobile and Multimedia Networks (WoWMoM)
Broadcasting methods in MANETS: an overview
Network performance engineering
A Unified ME Algorithm for Arbitrary Open QNMs with Mixed Blocking Mechanisms
SAINT '11 Proceedings of the 2011 IEEE/IPSJ International Symposium on Applications and the Internet
Modeling and analysis of trust management with trust chain optimization in mobile ad hoc networks
Journal of Network and Computer Applications
IEEE Spectrum
Performance Related Security Modelling and Evaluation of RANETs
Wireless Personal Communications: An International Journal
| Hi-index | 0.00 |
Security mechanisms, such as encryption and authentication protocols, require extra computing resources and therefore, have an adverse effect upon the performance of robotic mobile wireless ad hoc networks (RANETs). Thus, an optimal performance and security trade-off should be one of the main aspects that should be taken into consideration during the design, development, tuning and upgrading of such networks. In this context, an exposition is initially undertaken on the applicability of Petri nets (PNs) and queueing networks (QNs) in conjunction with their generalisations and hybrid integrations as robust quantitative modelling tools for the performance analysis of discrete flow systems, such as computer systems, communication networks and manufacturing systems. To overcome some of the inherent limitations of these models, a novel hybrid modelling framework is explored for the quantitative evaluation of RANETs, where each robotic node is represented by an abstract open hybrid G-GSPN_QN model with head-of-line priorities, subject to combined performance and security metrics (CPSMs). The proposed model focuses on security processing and state-based control and it is based on an open generalised stochastic PN (GSPN) with a gated multi-class `On---Off' traffic and mobility model. Moreover, it employs a power consumption model and is linked in tandem with an arbitrary QN consisting of finite capacity channel queues with blocking for `intra' robot component-to-component communication and `inter' robot-to-robot transmission. Conclusions and future research directions are included.