Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
53
Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification
"... Abstract. PetriCode is a tool that supports automated generation of protocol software from a restricted class of Coloured Petri Nets (CPNs) called Pragmatics Annotated Coloured Petri Nets (PA-CPNs). PetriCode and PA-CPNs have been designed with five main requirements in mind, which include the same ..."
Abstract
- Add to MetaCart
Abstract. PetriCode is a tool that supports automated generation of protocol software from a restricted class of Coloured Petri Nets (CPNs) called Pragmatics Annotated Coloured Petri Nets (PA-CPNs). PetriCode and PA-CPNs have been designed with five main requirements in mind, which include
An Approach for the Engineering of Protocol Software from Coloured Petri Net Models: A Case Study of the IETF WebSocket Protocol
"... The vast majority of software systems today can be characterised as con-current and distributed systems as their operation inherently relies on protocols executed between independently scheduled software components. The engineer-ing of correct protocols can be a challenging task due to their complex ..."
Abstract
- Add to MetaCart
of protocols, including automated code generation for different platforms from design-level models. Furthermore, the use of formal modelling in combination with model checking provides tech-niques to support the development of reliable protocol implementations. Coloured Petri Nets (CPNs) [3] is formal language
Testing k-Safe Petri Nets
"... Abstract. Petri nets have been widely studied as tool for specification, modeling and analysis of concurrent systems. However, surprisingly little research has been done for testing systems that are specified with Petri nets. When a formal model is used, variations of Finite State Machines are often ..."
Abstract
-
Cited by 2 (0 self)
- Add to MetaCart
are often used for the automated generation of test cases. In this paper, we study automated conformance testing when the formal specification is given as a k-safe Petri net. We provide a general framework to perform these tests, and give a few algorithms for test case generation based on different
Towards the Generation of Distributed Test Cases Using Petri Nets
"... . Test case generation is a means to validate the implementation of a system a posteriori with respect to some given requirements imposed on the system. Current methods for the generation of test cases often rely on an interleaving model of the system, which does not fully cover the situation in re ..."
Abstract
- Add to MetaCart
in reactive systems and systems with asynchronous communication. In this paper we present an approach towards the generation of distributed test cases, using Petri nets as the class of models for system, requirements and test case. 1 Motivation Testing is an important part of system design. In most cases
Test case generation for ATM protocols Using High-Level Petri Net Models
"... This paper discusses an experience in computer-supported test case generation for ATM protocols, viz. the AAL3/4 protocol (ATM Adaptation Layer Type 3/4) and CLNAP (Connectionless Network Access Protocol). The test cases were generated by means of the test generation tool GeneTest based on protocol ..."
Abstract
- Add to MetaCart
This paper discusses an experience in computer-supported test case generation for ATM protocols, viz. the AAL3/4 protocol (ATM Adaptation Layer Type 3/4) and CLNAP (Connectionless Network Access Protocol). The test cases were generated by means of the test generation tool GeneTest based on protocol
Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools
, 2005
"... Model of Routing in Mobile Ad Hoc Networks............................... 137 M. Pesic and W.M.P. van der Aalst Modeling Work Distribution Mechanisms Using Colored Petri Nets .................. 157 A.K. Alves de Medeiros and C.W. Gnther Process Mining: Using CPN Tools to Create Test Logs for Min ..."
Abstract
- Add to MetaCart
Model of Routing in Mobile Ad Hoc Networks............................... 137 M. Pesic and W.M.P. van der Aalst Modeling Work Distribution Mechanisms Using Colored Petri Nets .................. 157 A.K. Alves de Medeiros and C.W. Gnther Process Mining: Using CPN Tools to Create Test Logs
Simulation with Object-Oriented Petri Nets
, 1991
"... LOOPN is a language and simulator for specifying systems in terms of coloured timed petri nets. It includes object-oriented features such as subtyping, inheritance and polymorphism which allow for the convenient modularisation of complex specifications. This paper describes LOOPN and the experience ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
that has been gained in its use both for discrete event simulation purposes and more specifically for modelling network protocols. 1 Introduction Petri nets have been used for the modelling and simulation of concurrent systems since their introduction in the 1960s by C.A. Petri. Interest continues
Editorial Mathematical Problems in Petri Nets Theory and Applications
"... The extensive applications of communication and information technology provide spurs to the blooming of highly automated and computer-integrated systems that increasingly play an essential role in the development of the human society, leading to the deployment of discrete event systems that are tho ..."
Abstract
- Add to MetaCart
and survivability. Petri nets The work by C. Wu et al. considers the safety of rail transport that is an efficient and economic transportation mode for passengers and goods. A train rear-end collision accident is modeled with stochastic Petri nets and its quantitative analysis is then made by using a fuzzy
Modelling Layered Protocols in LOOPN
- Proceedings of the Fourth International Workshop on Petri Nets and Performance Models
, 1991
"... LOOPN is a language and simulator for specifying systems in terms of coloured timed petri nets. It includes object-oriented features such as subtyping, inheritance and polymorphism which allow for the convenient modularisation of complex specifications. This paper briefly describes LOOPN and conside ..."
Abstract
-
Cited by 7 (4 self)
- Add to MetaCart
and considers its application to the modelling of layered network protocols. 1 Introduction Petri nets have been used for the modelling and simulation of concurrent systems since their introduction in the 1960s by C.A. Petri. Interest continues in them unabated (see [2] , [6], [7] for example). The simplicity
Results 1 - 10
of
53
