1. Petri Net Theory and the Modeling of Systems;Peterson,1981
2. Petri Nets: Properties, analysis and applications;Murata,1989
3. Timed Petri nets and preliminary performance evaluation;Zuberek,1980
4. Timing requirements for time-driven systems using augmented Petrinets;Coolahan;IEEE Trans. Software Engrg.,1983