000 00294 a2200109 4500
005 20260304085310.0
020 _a9783642425813
100 _aKurt Jensen and Lars Kirstensen
245 _aColoured Petri Nets: Modelling and Validation of Concurrent Systems
260 _bSpringer
_c2014
942 _cBK
999 _c5127
_d5127