Petri nets: an introduction
Distributed systems: methods and tools for specification. An advanced course
Distributed systems: methods and tools for specification. An advanced course
Communicating sequential processes
Communicating sequential processes
Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Compiler construction: theory and practice (2nd ed.)
Compiler construction: theory and practice (2nd ed.)
Mechanical verification and automatic implementation of communication protocols
IEEE Transactions on Software Engineering
Reasoning about networks with many identical finite-state processes
PODC '86 Proceedings of the fifth annual ACM symposium on Principles of distributed computing
Current trends in concurrency. Overviews and tutorials
Current trends in concurrency. Overviews and tutorials
Current trends in concurrency. Overviews and tutorials
Computer tools for construction, modification and analysis of Petri nets
Advances in Petri nets 1986, part II on Petri nets: applications and relationships to other models of concurrency
Advances in Petri nets 1986, part II on Petri nets: applications and relationships to other models of concurrency
Petri nets in software engineering
Advances in Petri nets 1986, part II on Petri nets: applications and relationships to other models of concurrency
Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Analysing nets by the invariant method
Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Transformations and decompositions of nets
Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Spanner: A Tool for the Specification, Analysis, and Evaluation of Protocols
IEEE Transactions on Software Engineering
Specification case studies
A note on reliable full-duplex transmission over half-duplex links
Communications of the ACM
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
A Discipline of Programming
Networking in Open Systems
Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification VII
Specification of the Transport Service Using Numerical Petri Nets
Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification
Computer-aided analysis of concurrent systems
Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V
Building blocks for distributed system design
Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V
The importance of the service concept in the design of data communications protocols
Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V
Automated protocol verification
Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V
On Limits and Possibilities of Automated Protocol Analysis
Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification VII
Usage of Protocol Development Tools: The Results of a Survey
Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification VII
Self-Modifying Nets, a Natural Extension of Petri Nets
Proceedings of the Fifth Colloquium on Automata, Languages and Programming
The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets
Proceedings of the International Sympoisum on Semantics of Concurrent Computation
Proceedings of the Advanced Course on General Net Theory of Processes and Systems: Net Theory and Applications
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
Petri nets are good for protocols
SIGCOMM '84 Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials & symposium
Embedded Processes in Stochastic Petri Nets
IEEE Transactions on Software Engineering
A Unified High-Level Petri Net Formalism for Time-Critical Systems
IEEE Transactions on Software Engineering
A subclass of Petri Nets as design abstraction for parallel architectures
ACM SIGARCH Computer Architecture News
Modular Algebraic Nets to Specify Concurrent Systems
IEEE Transactions on Software Engineering
Synthesizing structured analysis and object-based formal specifications
Annals of Software Engineering
Modelling of Object Based Systems with Hidden Sorted ECATNets
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
Validating TCP connection management
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
Fast verification of the class of stop-and-wait protocols modelled by coloured Petri nets
Nordic Journal of Computing
Timed verification of the reliable adaptive multicast protocol
Journal of Systems and Software
Optimizing soft subsystems of regions by agent controlled simulation
Proceedings of the 2007 Summer Computer Simulation Conference
Analytical verification of information system requirements using petri net properties
Information and Software Technology
Symbolic execution of concurrent systems using Petri nets
Computer Languages
Coloured Petri net modelling of the ODP Trader for use in resource discovery
Computer Communications
Verification of ISO ACSE protocol specified in Estelle
Computer Communications
Petri nets for protocol engineering
Computer Communications
| Hi-index | 0.01 |
The PROTEAN protocol emulation and analysis computer aid is presented. It is based on a formal specification technique called numerical Petri nets (NPNs), and provides both graphical (color) and textual interfaces to the protocol designer. NPN specifications may be created, stored, appended to other NPNs, structured, edited, listed, displayed, and analyzed. Interactive simulation, exhaustive reachability analysis, and several directed graph analysis facilities are described. Specification languages are compared, with concentration on extended finite state machines and high-level Petri nets. Boththe NPN and PROTEAN facilities are described and illustrated with a simple example. The application of PROTEAN to complex examples is mentioned briefly. Work towards a comprehensive protocol engineering workstation is also discussed.