Object-oriented concepts for coloured Petri nets

• 30 December 2002
• conference paper
• Published by Institute of Electrical and Electronics Engineers (IEEE)
• https://doi.org/10.1109/icsmc.1993.385024

Abstract

Keywords

• CONCURRENT COMPUTING
• FORMAL SPECIFICATIONS
• SOFTWARE ENGINEERING
• PROCESS DESIGN
• PETRI NETS
• OBJECT ORIENTED DESIGN
• OBJECT ORIENTED
• COMPUTER LANGUAGES
• OBJECT ORIENTED PROGRAMMING