Petri Net Design System
User's Guide


The Petri Net Design System (PDS) is a PC-based application for designing and activating logical-colored Petri net (LCPN) models. The PDS development environment can be used for the practical design, simulation and software generation of complex parallel/distributed systems.

The pages of the user's guide are divided as follows:


If you have any questions or comments regarding the PDS tool or documentation, please contact us at the address below.

Email: pauline@cs.shinshu-u.ac.jp


Back Home Japanese page