Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Kurt Jensen"'
Autor:
Kurt Jensen, Lars M. Kristensen
Publikováno v:
Jensen, K & Kristensen, L M 2009, Coloured Petri Nets : Modelling and Validation of Concurrent Systems . Springer . https://doi.org/10.1007/b95112
Coloured Petri Nets (CPN) is a graphical language for modelling and validating concurrent and distributed systems, and other systems in which concurrency plays a major role. The development of such systems is particularly challenging because of inher
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0b711cde5b90dd93a19fdf8f1f7fe77e
https://pure.au.dk/portal/da/publications/coloured-petri-nets(8c482de0-c536-11de-a30a-000ea68e967b).html
https://pure.au.dk/portal/da/publications/coloured-petri-nets(8c482de0-c536-11de-a30a-000ea68e967b).html