Choreographer Platform User Guide N V Haenel valentin haenel gmx de The Laboratory for Foundations of Computer Science School of Informatics University of Edinburgh First Edition January 11 2005 Revised Mar 16 2005 CONTENTS CONTENTS Contents 1 Introduction 2 2 Introduction to the NetBeans Platform 2 3 Installation Instructions 4 4 Quick Start 6 5 Support for the PEPA formalism 8 5 1 Advanced Dialogues 0 2 2 0 00 ee 10 5 2 The PEPA State Find
Choreographer Platfrom User Guide N V Haenel valentin haenel gmx de The Laboratory for Foundations of Computer Science School of Informatics University of Edinburgh 2004 2005 January 11 2005 1 DRAFT VERSION latex 1 User Manual This section describes the Choreographer Platform from the point of view of the user 1 1 Introduction to the NetBeans Platform This section gives an introduction to the features of the NetBeans Platform Diagram 1 shows a common