Coloured Petri nets

• 6 March 2006
• book chapter
• Published by Springer Nature
• p. 248-299
• https://doi.org/10.1007/bfb0046842

Abstract

Keywords

• HIGH-LEVEL PETRI NETS
• ANALYSIS METHODS
• PLACE-INVARIANTS AND REACHABILITY TREES