Industrial Use
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:
- 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
- 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
- Superscalar Processor Architectures at University of Newcastle
- VLSI Chip in the US
- Arbiter Cascade at Meta Software Corp
- 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 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
- 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