FUNlite - A Parallel Petri Net Simulator
Jochen Spranger · 1997
This paper is organized as follows. Section 2 gives a short introduction in Petri nets. Section 3 presents the simulation engine for the subnets. Section 4 and 5 show the internal and external administration of communication places. Finally some conclusions are given. 2 Basic Notations and Deønitions