PetriNet

From VLE

Introduction

The structure

How to write a model based on PetriNet?

with a C++ class

with a condition in VPZ file

How to interact with a PetriNet model?

References

• J. L. Peterson, Petri Net Theory and the Modeling of Systems, éd. Prentice Hall, 1981
• K. Jensen, Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, éd. Springer, 1997
• N. Busi, Petri nets with inhibitor and read arcs: semantics, analysis and application to process calculi, Ph.D. Thesis. Department of Mathematics, University of Siena, Italy, 1998
• J. Wang, Timed Petri Nets: Theory and Application, éd Springer, 1998

Langues :

English  • Français