The following projects document large-scale practical use of CP-nets and their tools. Many of the projects have been carried out in an industrial environment. For all projects one or more papers are available:

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