Lakos, Charles "A General Systematic Approach to Arc Extensions for Coloured Petri Nets" Technical Report TR93-8. Computer Science Department, University of Tasmania, 1994

Languages mentioned

• LOOPN {1993} Petri net language
• LOOPN++ {2000} LOOPN generating C++