The practitioner's guide to coloured Petri nets

• 1 December 1998
• journal article
• special section-on-coloured-petri-nets
• Published by Springer Nature in International Journal on Software Tools for Technology Transfer
• Vol. 2  (2) , 98-132
• https://doi.org/10.1007/s100090050021

Abstract

Keywords

• KEY WORDS: HIGH-LEVEL PETRI NETS – COLOURED PETRI NETS – PRACTICAL USE – MODELLING – VALIDATION – VERIFICATION – VISUALISATION – TOOL SUPPORT