Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Kurt Jensen"'
Publikováno v:
Jensen, K, Kristensen, L M & Wells, L M 2007, ' Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems ', International Journal on Software Tools for Technology Transfer, vol. 9, no. 3/4, pp. 213-254 . https://doi.org/10.1007/s10009-007-0038-x
Coloured Petri Nets (CPNs) is a language for the modeling and validation og systems in which concurrency, communication, and synchronisation play a major role. Coloured Petri Nets is a descrete-event modeling language combining Petri Nets with the fu