Examples of Industrial Use of CP-nets

Protocols and Networks
DCCP Connection Management
Dynamic MANET On-demand Routing Protocol
Secure Connection Establishment in GAN at TietoEnator
INVITE Transaction of SIP
Modelling and Validation of IPv6 Protocols at Ericsson Telebit A/S
TCP Protocols
BRI Protocol in ISDN Networks
Modelling and Analysis of Wireless Application Protocol (WAP)
Internet Multimedia Communication Standards
Internet Open Trading Protocol
SCTP Connection Management
Multi-party Negotiation Protocols
Contract Net Protocol
Bus Communication Protocols
DoS-resistant Key Exchange Protocols
SIP-based Discovery Protocol
Intelligent Networks at Deutsche Telekom
IEEE 802.6 Configuration Control at Telstra Research Laboratories
Allocation Policies in the Fieldbus Protocol in Japan
ISDN Services at Telstra Research Laboratories
Protocol for an Audio/Video System at Bang & Olufsen A/S
Local Area Network at University of Las Palmas
UPC Algorithms in ATM Networks at University of Aarhus
Network Management System at RC International A/S
Interprocess Communication in Pool IDA at King's College
Modelling and Initial Analysis of the Resource Reservation Internet Protocol
Distributed Dynamic Channel Allocation Algorithm for Mobile Computing
Protocol Supporting Visualisation in Design/CPN at University of South Australia
Evaluation of Network Response Time of Switched LAN

Software
From Task Descriptions via CPN towards Implementation of Electronic Patient Record
Composite Web Services
Execution Architecture of Mobile Phone Software at Nokia
Feature Interaction in Mobile Phones at Nokia
Bank Transactions and Interconnect Fabric at Hewlett-Packard
Mutual Exclusion Algorithm at University of Aarhus
Distributed Program Execution at University of Aarhus
Internet Object Cache at the Hungarian Academy of Science
Electronic Funds Transfer in the US
Document Storage System at Bull AG
ADA Program at Draper Laboratories
Performance of Distributed Generation of State Spaces at Memorial University

Workflows and Business Processes
Workflow systems at the Technical University of Eindhoven
Workflow Implementation via Colored Workflow Nets
UML Models for Workflow Requirements in Portugal
Financial Process of Clearing and Settlement in the Netherlands
Supply Chain Modelling and Analysis Using CPN

Hardware
Superscalar Processor Architectures at University of Newcastle
VLSI Chip in the US
Arbiter Cascade at Meta Software Corp.

Control of Systems
Security and Access Control Systems at Dalcotech A/S
Requirements Engineering for Reactive Systems
Mechatronic Systems in Cars at Peugeot-Citroën in France
European Train Control System in Germany
Flowmeter System at Danfoss
Traffic Signals in Brazil
Chemical Production in Germany
Model Train System at University of Kiel
Educational Project with Control System for Model Railway
Specification for an Elevator Controller

Military Systems
Military Scheduling in Australia
Operational Planning in Australia
Defence Logistics Networks in Australia
Military Communications Gateway in Australia
Influence Nets for the US Air Force
Missile Simulator in Australia
Naval Command and Control System in Canada

Other Systems
Data Paths in Digital Printers
Air Traffic Control in Germany
Visual Animation
Agent-based Architectures of Simulation Models
Banker's Algorithm
Bank Courier Network at Shawmut National Coop
Nuclear Waste Management Programme in the US
Actor-based Systems at University of Calabria
Computer Simulation of Biochemical Processes
CPN and UML for Modelling Healthcare Systems at University of Aarhus
CPN and Bayesian Networks