Xp on line help: introduction

Introduction

XpetreX is a case tool for the designing of High Level Petri Nets. It is made up by a net "editor browser" and a net "simulator-executor". The net model is extended with boolean places, timed transitions , inhibitory arcs , probabilistic arcs , symbolic arcs , transition execution statements , transition enabling functions , and subnet classes/instances. This model is derived from the model of PETREX 4.1b, a Ms-DOS software made by A. Camurri and E. Troiano in the `80s.

Both editor and executor are based on the X window library, providing an advanced graphic user interface. See [editor toolkit] or [menu bar commands] for more informations about use of XpetreX.