1. Putting Petri nets to work;Agerwala;IEEE Comput.,1979
2. Kommunikation mit Automaten;Petri,1962
3. Petri nets: Properties, analysis and applications;Murata,1989
4. Timed coloured Petri nets and their application to logistics;van der Aalst,1992
5. Information System Engineering: A Formal Approach;van Hee,1994