Analysing the WAP Class 2 Wireless Transaction Protocol Using Coloured Petri Nets

No abstract is available for this paper.

• Publication year

  2000

• Venue

  ICATPN

• Publication date

  2000-06-26

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/3-540-44988-4_13
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Incomplete Information: Structure, Inference, Complexity

  2002cited by this paper
• Modelling the WAP Transaction Service using Coloured Petri Nets

  1999influential reference
• Application of Petri Nets to Communication Networks: Advances in Petri Nets

  1999cited by this paper
• WAP Forum Input Document Inconsistencies in the Wireless Transaction Protocol

  1999cited by this paper
• Application of Petri Nets to Communication Networks

  1999cited by this paper
• Using Coloured Petri Nets to Investigate Behavioural and Performance Issues of TCP Protocols

  1999cited by this paper
• Reliable message delivery and conditionally-fast transactions are not possible without accurate clocks

  1998cited by this paper
• Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1

  1996cited by this paper
• Formal Verification of Communication Protocols

  1996cited by this paper
• The User''s Guide to Grail

  1995cited by this paper
• T/TCP - TCP Extensions for Transactions Functional Specification

  1994cited by this paper
• Formal Specification, Validation and Performance Evaluation of the Xpress Transfer Protocol

  1993cited by this paper
• Formal Model of a High Speed Transport Procotol

  1992cited by this paper
• Modelling and analysis of DOD TCP/IP protocol using numerical Petri nets

  1990cited by this paper
• Encyclopedia of Microcomputers

  1987cited by this paper
• Coloured Petri Nets

  1986cited by this paper
• User Datagram Protocol

  1980cited by this paper
• Compiler Construction: Theory and Practice

  1979cited by this paper

• Modeling and Analyzing the WAP Class 2 Wireless Transaction Protocol Using Event-B

  2017cites this paper
• Code Generation from Pragmatics Annotated Coloured Petri Nets

  2015cites this paper
• Net-Based Analysis of Event Processing Networks - The Fast Flower Delivery Case

  2013cites this paper
• Applications of Coloured Petri Nets for Functional Validation of Protocol Designs

  2013cites this paper
• Towards a CPN-Based Modelling Approach for Reconciling Verification and Implementation of Protocol Models

  2012cites this paper
• 7 Formal description methods

  2012cites this paper
• Protocol Engineering

  2012cites this paper
• System Design of Number Inquiry Software Basing on J2ME

  2010cites this paper
• Formal Analysis of PANA Authentication and Authorisation Protocol

  2008cites this paper
• Parametric Verification of the Class of Stop-and-Wait Protocols

  2007cites this paper
• Model-Based Testing of a WAP Gateway: An Industrial Case-Study

  2006cites this paper
• Verification of software via integration of design and implementation

  2006cites this paper
• Structure research of intelligent movable information service system

  2005cites this paper
• Performance Evaluation of WAP and Internet Protocols over W-CDMA Networks

  2004cites this paper
• Coloured Petri Nets in Development of a Pervasive Health Care System

  2003cites this paper
• A Coloured Petri Net Approach to Protocol Verification

  2003cites this paper
• Performance analysis using coloured Petri nets

  2002cites this paper
• Intelligent Information Management in Mobile Electronic Commerce

  2002cites this paper
• Application and Theory of Petri Nets 2002

  2002influential citation
• Verification of a Revised WAP Wireless Transaction Protocol

  2002cites this paper
• Performance Evaluation on WAP and Internet Protocol over 3G Wireless Networks

  2002cites this paper
• Validating TCP connection management

  2002cites this paper
• Architecture for Mobile P-Commerce : Multilevel Profiling Framework

  2001cites this paper
• 9.1.6 Generation of a Service Language for the Resource Reservation Protocol Using Formal Methods

  2001cites this paper
• WAP Forum Input Document Inconsistencies in the Wireless Transaction Protocol

  1999cites this paper
• Modelling with Generalized Stochastic Petri Nets

  1995cites this paper