2,521 Hits in 4.2 sec

Global generic model for formal validation of the wireless sensor networks properties

Sajeh ZAIRI, Eric NIEL, Belhassen ZOUARI
2011 IFAC Proceedings Volumes  
Formal modelling techniques can be used for the analysis of wireless sensor networks (WSNs). High level Petri nets (HLP-nets) that is an extension of Petri nets is a powerful modelling technique.  ...  This paper presents a HLP-nets based approach for formal modelling and analysis of WSNs.  ...  For example, [Zhenhua et al. (2008) ] employs coloured Petri nets (CP-nets) to model and analyse EEDMC routing protocol.  ... 
doi:10.3182/20110828-6-it-1002.01652 fatcat:5dmg3vbzxnbrzbcjevwfoo2oci

A Petri-Net Based Formalisation of Interaction Protocols Applied to Business Process Integration [chapter]

Djamel Benmerzoug, Fabrice Kordon, Mahmoud Boufaida
2008 Lecture Notes in Business Information Processing  
The semantics and its application are described on the basis of translation rules to Coloured Petri Nets and the benefits of formalisation are shown.  ...  This paper presents a new approach for Business Process Integration based on Interaction Protocols.  ...  Section 3 describes a CPN based representation of IP. In section 4, we provide a skeletal algorithm for converting BPI based on interaction protocols in AUML/BPEL4WS to Coloured Petri nets.  ... 
doi:10.1007/978-3-540-68644-6_6 fatcat:di645ndvtrd2vpvwhaerxkevae

Specification and performance analysis of embedded systems with coloured petri nets

L.P.M. Benders
1999 Computers and Mathematics with Applications  
This is illustrated with a data-link protocol system, where the disturbance on the communication channels is modelled, too. (~) Keywords--Embedded systems design, Coloured Petri nets. 0898-1221/99/$ -see  ...  To analyze synchronization, concurrency, communication protocols and system performance, a system level specification is modelled in a coloured Petri net.  ...  The TL specification is automatically translated into Petri net descriptions• The Coloured Petri net (CP-net) representation allows the application of some Petri net analysis techniques.  ... 
doi:10.1016/s0898-1221(99)00156-x fatcat:43b7pstfqngmrhia57puqeqrgu

Modelling and Analysis of Non-Critical Request Communication of DNP3 Protocol using Coloured Petri Nets Technique

Bhupendra Tare
2015 International Journal of Engineering Research and  
Coloured Petri Nets (CPN) Technique [9] is used to prepare executable model for non-critical operation of DNP3 Protocol.  ...  The Coloured Petri Nets and its associate state space tool have been successful in modelling and security analysis of Non-Aggressive challenge response of DNP3 protocol [8] and also achieved desire results  ...  ACKNOWLEDGMENT The authors would like to acknowledge the support of Center of Excellence in Complex and Non-Linear Dynamical Systems (CoE-CNDS), VJTI, Mumbai, India for providing research facilities.  ... 
doi:10.17577/ijertv4is060895 fatcat:l7e227fspfgujjrivpykintbra

Modelling with Generalized Stochastic Petri Nets

M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, G. Franceschinis
1998 Performance Evaluation Review  
Book description (from the cover): This book presents a unified theory of Generalized Stochastic Petri Nets (GSPNs) together with a set of illustrative examples from different application fields.  ...  intent of providing newcomers to the field with a useful tool for their first approach.  ...  Ordinary and Coloured Petri nets do not involve time and were developed to test the functionality of concurrent systems.  ... 
doi:10.1145/288197.581193 fatcat:aoiswp3oibfelirgnigmmaguxm

Analysing Coloured Petri Nets by the Occurrence Graph Method

Jens Bæk Jørgensen
1997 DAIMI Report Series  
The aim is twofold: First, to survey pertinent results within the research areas of -- in increasing generality -- Coloured Petri Nets, High-level Petri Nets, and formalisms for modelling and analysis  ...  <p>This paper provides an overview og the work done for the author's PhD thesis. The research area of Coloured Petri Nets is introduced, and the available analysis methods are presented.  ...  Acknowledgements The author wishes to thank: Kurt Jensen and S ren Christensen for indispensable supervision, cooperation, and inspiration throughout this PhD study. Lars  ... 
doi:10.7146/dpb.v26i517.7046 fatcat:tcyahamq2jfupasrfrbuykaoci

Analysis of Authentication Protocol for USB Storage Devices Using Coloured Petri Nets

Suratose Tritilanunt
2016 Journal of Advances in Computer Networks  
By using Coloured Petri Nets as a formal tool for verifying a security of this protocol, the result is able to confirm that a proposed authentication technique satisfies security properties and does not  ...  This paper proposes an analysis of two-factor authentication protocol for a USB storage device used in digital forensic applications.  ...  functions of a proposed protocol, and verify security properties by using a formal method tool named Coloured Petri Nets (CPN) [3] , [4] .  ... 
doi:10.18178/jacn.2016.4.1.204 fatcat:ix5v7oimo5dypgre33aigexqby

Digging into Concurrency [chapter]

Angie Chandler, Serena Patching, Lynne Blair
2002 Concurrency in Dependable Computing  
The topic of this paper is the design and implementation of an interacting Lego digger and dumper truck through the use of Petri nets.  ...  The content of this paper will discuss the progression of the Petri net model of these two Lego robots, from design to implementation, and finally evaluation.  ...  Petri nets are generic enough to provide the capacity for application to a wide variety of applications, although due to their asynchronous nature they are more commonly used for distributed systems [  ... 
doi:10.1007/978-1-4757-3573-4_5 fatcat:thedtflpdzbdhev2jkpzuoyj3a

A formal executable specification of the GinMAC protocol for Wireless Sensor Actuator Networks

Admar Ajith Kumar Somappa, Lars Michael Kristensen, Knut Ovsthus
2013 International Symposium on Wireless and pervasive Computing (ISWPC)  
Formal specification languages like the Coloured Petri Nets assist designers to capture this complexity with its expressive specification language in combination with Standard ML.  ...  Given the complex nature of WSAN, efficient techniques are required to be employed to obtain error-free protocol designs.  ...  Coloured Petri Nets CPN is a discrete event based extension of Petri Nets combined with Standard ML, a functional programming language, thus making it more expressive.  ... 
doi:10.1109/iswpc.2013.6707433 dblp:conf/iswpc/SomappaKO13 fatcat:y24rxe2wwbad3lsr7urc4mkpsq

Performance Evaluation of Sensor Medium Access Control Protocol Using Coloured Petri Nets

Mohammad Abdollahi Azgomi, Ali Khalili
2009 Electronical Notes in Theoretical Computer Science  
Formal modeling techniques can be used for analysis of wireless sensor networks (WSNs). Coloured Petri nets (CPNs) that is an extension of Petri nets is a powerful modeling technique.  ...  S-MAC is an energy-aware MAC protocol with nodes scheduling. The proposed model for this protocol uses the hierarchical modeling capability of CPNs.  ...  Coloured Petri Nets Coloured Petri nets (CPNs) is an extension of Petri Nets (PNs) which is well known for its capability and flexibility in modeling complex systems.  ... 
doi:10.1016/j.entcs.2009.06.021 fatcat:33qa4gq4mjezbogqi4vyvsjaxm

Modelling and Initial Analysis of the RMD-QOSM (Resource Management in DiffServ) Protocol using Coloured Petri Nets

Sapna Verma, Amardeep Kaur
2012 International Journal of Computer Applications  
Main functions of RMD-QOSM are congestion control and admission control. The aim of this paper is to use Coloured Petri Nets to model some features of the protocol.  ...  Initial analysis refers to that a basic model is constructed using Coloured Petri Nets and its proper working is verified.  ...  In this paper, Coloured Petri Nets Tool is used to model and verify the working of RMD-QOSM Protocol.  ... 
doi:10.5120/7873-1180 fatcat:bfcmhby4nzc43fnbnpoxrzclja

Extended Petri net based formal modeling and verification of WTB-TCN device

Ming Liu, Guoyin Zhang, Aihong Yao
2010 2010 3rd International Conference on Computer Science and Information Technology  
This paper presents a formal methodology of modeling and verification about WTB-TCN device based on extended Petri net model.  ...  As a confirmation of its validity, the methodology described in this paper has been successfully applied to modeling and formal verification of WTB-TCN device.  ...  Coloured Petri Net Coloured Petri Net (CP-Net or CPN) is a graphical oriented language for design, specification, simulation and verification of systems.  ... 
doi:10.1109/iccsit.2010.5564428 fatcat:yl3ccoklgrdypkisn22qvud6ja

Design/CPN - A Computer Tool for Coloured Petri Nets

Søren Christensen, Jens Bæk Jørgensen, Lars Michael Kristensen
1997 DAIMI Report Series  
For the presentation, we draw from the experiences gained in recent industrial application using Coloured Petri Nets in the design, validation, and verification of communication protocols for audio/video  ...  In this paper, we describe the computer tool Design/CPN supporting editing, simulation, and state space analysis of Coloured Petri Nets.  ...  We thank the numerous people involved in the development of Design CPN, in particular Peter Huber, Kurt Jensen, and Robert Shapiro.  ... 
doi:10.7146/dpb.v26i511.7040 fatcat:l6brvfbwdzfnveucajtmoiwb4a

Modelling and visualizing agent conversations

Marisuz Nowostawski, Martin Purvis, Stephen Cranefield
2001 Proceedings of the fifth international conference on Autonomous agents - AGENTS '01  
A prototype implementation of a system supporting predefined conversation protocols as Petri Net models developed for the New Zealand Distributed Information Systems research platform is described.  ...  This paper describes a proposed formalism based on Petri Nets that is to be used for the modelling of complex, concurrent conversations between agents in a multi-agent system.  ...  They are suitable for specifying all the states the conversation must go through, and can be used to check the validity of the designed model.  ... 
doi:10.1145/375735.376297 dblp:conf/agents/NowostawskiPC01 fatcat:u2365pikvbggpbcjp4miwnqkry

Coloured Petri Nets - a Pragmatic Formal Method for Designing and Analysing Distributed Systems

Kjeld Høyer Mortensen
1997 DAIMI Report Series  
Firstly, to get wider acceptance of CP-nets in industry, it is important to identify fruitful areas for the effective introduction of the CPN method.  ...  </p><p>The primary purpose of the PhD thesis is to study the pragmatics, practical aspects, and intuition of CP-nets viewed as a formal method for describing and reasoning about concurrent systems.  ...  CP-nets is a well-suited technique for designing, validating, and verifying concurrent systems and communication protocols.  ... 
doi:10.7146/dpb.v26i522.7051 fatcat:m5hb5hispbfl3f6inhyo6dacpe
« Previous Showing results 1 — 15 out of 2,521 results