A petri net reduction algorithm for protocol analysis
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
Behaviour preserving refinements of Petri nets
International Workshop WG '86 on Graph-theoretic concepts in computer science
Transformations and decompositions of nets
Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Generalized Petri net reduction method
IEEE Transactions on Systems, Man and Cybernetics - Special issue on artificial intelligence
An environment for object-oriented conceptual programming based on PROT nets
Advances in Petri Nets 1988
OBJSA nets: a class of high-level nets having objects as domains
Advances in Petri Nets 1988
Advances in Petri Nets 1988
An exercise in concurrency: a CSP process as a condition/event system
Advances in Petri Nets 1988
On the computation of structural synchronic invariants in P/T nets
Advances in Petri Nets 1988
IEEE Transactions on Computers
Formal Analysis of the Alternating Bit Protocol by Temporal Petri Nets
IEEE Transactions on Software Engineering
Design and validation of computer protocols
Design and validation of computer protocols
Coloured Petri Nets: a high level language for system design and analysis
APN 90 Proceedings on Advances in Petri nets 1990
A partial approach to model checking
Papers presented at the IEEE symposium on Logic in computer science
A fault-detection approach to the conformance testing of nondeterministic systems
Journal of Parallel and Distributed Computing
Dependency Analysis-A Petri-Net-Based Technique for Synthesizing Large Concurrent Systems
IEEE Transactions on Parallel and Distributed Systems
IEEE Transactions on Software Engineering
A New Structural Induction Theorem for Rings of Temporal Petri Nets
IEEE Transactions on Software Engineering
Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software Analysis
IEEE Transactions on Software Engineering
From timed Petri nets to timed LOTOS
Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification X
Generating Test Sequences and their Degrees of Indeterminism for Protocols
Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XI
Transformation from LOTOS Specifications to Galileo Nets
Proceedings of the First International Conference on Formal Description Techniques
On the Relationship of CCS and Petri Nets
Proceedings of the 11th Colloquium on Automata, Languages and Programming
Automatic Translation of Time Petri Nets into Estelle Description
FORTE '90 Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, III
PN3-Editor: Compositional Petri Net Editor for Protocol Specification
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
The Knitting Technique and Its Application to Communication Protocol Synthesis
MASCOTS '94 Proceedings of the Second International Workshop on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems
Petri Nets Based Models in the Specification and Verification of Protocols
Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986-Part II
Functional Equivalences of Petri Nets
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
From Coloured Petri Nets to Object Petri Nets
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
An Efficient Algorithm for the Computation of Stubborn Sets of Well Formed Petri Nets
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
Hierarchical Time Stream Petri Net: A Model for Hypermedia Systems
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
A survey of equivalence notions for net based systems
Advances in Petri Nets 1992, The DEMON Project
Protocol analysis using numerical Petri nets
Advances in Petri Nets 1985, covers the 6th European Workshop on Applications and Theory in Petri Nets-selected papers
Operational Petri net semantics for CCSP
Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets
A reduction theory for coloured nets
Advances in Petri Nets 1989, covers the 9th European Workshop on Applications and Theory in Petri Nets-selected papers
Stubborn sets for reduced state space generation
Proceedings of the 10th International Conference on Applications and Theory of Petri Nets: Advances in Petri Nets 1990
On liveness preservation by composition of nets via a set of places
Papers from the 11th International Conference on Applications and Theory of Petri Net: Advances in Petri Nets 1991
Top-down synthesis of live and bounded free choice nets
Papers from the 11th International Conference on Applications and Theory of Petri Net: Advances in Petri Nets 1991
On-the-Fly Verification with Stubborn Sets
CAV '93 Proceedings of the 5th International Conference on Computer Aided Verification
A Client-Server Protocol for the Composition of Petri Nets
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
Probabilistic Validation of a Remote Procedure Call Protocol
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
Coloured Petri Nets Extended with Channels for Synchronous Communication
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
Compositional Analysis with Place-Bordered Subnets
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
Symbolic, Symmetry, and Stubborn Set Searches
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
New Structural Invariants for Petri Nets Analysis
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
Time Stream Petri Nets: A Model for Timed Multimedia Information
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
On Combining the Stubborn Set Method with the Sleep Set Method
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
Liveness in Bounded Petri Nets Which Are Covered by T-Invariants
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
Five Classes of Invariant-Preserving Transformations on Colored Petri Nets
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
| Hi-index | 0.24 |
This paper presents a review of the role Petri nets play in protocol engineering. This methodology provides various models for specification and many methods for verification and other software engineering tasks concerning protocols. In particular, many property-preserving transformations and compositional methods are available for reducing the impact of state explosion on the two well-known verification approaches - reachability analysis and invariant analysis. By conversion, Petri nets can be used for studying systems specified by many of the formal description techniques frequently used for protocol investigation such as MSC, SDL, ESTELLE, LOTOS, CCS, CSP and CCSP. For example, Petri nets can be used for deriving test sequences and cyclomatic complexity measure for LOTOS. Also, many equivalence relations concerning the theoretical foundation of protocol engineering have been formulated on the basis of Petri nets. Other developments of Petri nets related to protocols include: Petri nets with temporal logic, feature interaction, synthesis, complexity measure, timed or object-related Petri nets, etc.