Modelling Concurrent Systems Specified by Dynamic Information Systems
Krzysztof Pancerz, Zbigniew Suraj · Electronic Notes in Theoretical Computer Science · 2003
This paper presents a new approach for modelling concurrent systems specified by the dynamic information systems. As a model for concurrency Coloured Petri Nets are used. The dynamic information systems contain knowledge about the dynamics of modelled concurrent systems.