Introduction

Petri Net Toolbox at a First Glance

Part I. Describing the Graphical User Interface (GUI)

I.1. Overview

I.2. Menu Bar

I.3. Quick Access Toolbar

I.4. Drawing Area

I.5. Drawing Panel

I.6. Draw/Explore Switch

I.7. Simulation Panel

I.8. Status Panel

I.9. Message Box

Part II. Exploiting the Toolbox

II.1. Building a Model

II.2. Exploring Model Properties

II.3. Running a Simulation

II.4. Analyzing Simulation Results

II.5. Max-Plus Models

II.6. Design

Appendix

Appendix A: XML file-format of a PN model

Appendix B: Configuration File for the PN Toolbox

References

Index