作者: Krzysztof Pancerz , Zbigniew Suraj
DOI: 10.1016/S1571-0661(04)80719-9
关键词:
摘要: Abstract This paper presents a new approach for modelling concurrent systems specified by the dynamic information systems. As model concurrency Coloured Petri Nets are used. The contain knowledge about dynamics of modelled