Zobrazeno 1 - 10
of 23
pro vyhledávání: '"Kurt Jensen"'
Autor:
Kurt Jensen, Lars Michael Kristensen
Publikováno v:
Jensen, K & Kristensen, L M 2015, ' Colored Petri nets : a graphical language for formal modeling and validation of concurrent systems ', Communications of the A C M, vol. 58, no. 6, pp. 61-70 . https://doi.org/10.1145/2663340
Formal executable models enable systematic evaluation of system designs prior to implementation and deployment.
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
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642290718
Transactions on Petri Nets and Other Models of Concurrency V
Transactions on Petri Nets and Other Models of Concurrency V
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::56ec81d3ac2101eb5e1f1e39c4bd4278
https://doi.org/10.1007/978-3-642-29072-5
https://doi.org/10.1007/978-3-642-29072-5
Autor:
Kurt Jensen, Lars Michael Kristensen
Publikováno v:
Coloured Petri Nets ISBN: 9783642002830
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d82f38136c2fff9954c0ea837968c80e
https://doi.org/10.1007/b95112_4
https://doi.org/10.1007/b95112_4
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540892861
Transactions on Petri Nets and Other Models of Concurrency I
Transactions on Petri Nets and Other Models of Concurrency I
No abstract
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::57f2fbaea7eef265e476788a66a93664
https://research.tue.nl/en/publications/6a1ee6e2-7855-4d20-9230-9632f7798675
https://research.tue.nl/en/publications/6a1ee6e2-7855-4d20-9230-9632f7798675
Autor:
Kurt Jensen
Publikováno v:
Jensen, K 2007, ' Special Section on Coloured Petri Nets ', International Journal on Software Tools for Technology Transfer, vol. 9, no. 3-4, pp. 209-411 . https://doi.org/10.1007/s10009-007-0039-9
The development of modern distributed systems is an extremely challenging task, because the concurrency and non-determinism create an astronomical number of possible system states and execution sequences. Hence, it is easy for the human designer to m
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a07a66a0cf6e65d3f8a4c7a7d15162ab
https://pure.au.dk/portal/da/publications/special-section-on-coloured-petri-nets(ee7a6750-e6c4-11dc-9afb-000ea68e967b).html
https://pure.au.dk/portal/da/publications/special-section-on-coloured-petri-nets(ee7a6750-e6c4-11dc-9afb-000ea68e967b).html
Publikováno v:
Lecture Notes in Computer Science ISBN: 354009511X
Semantics of Concurrent Computation
Semantics of Concurrent Computation
This paper introduces a language for the description of systems with concurrency, and presents a formal definition of its semantics. The language is based on Delta and the semantic model is an extension of Petri nets with a data part and with express
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::23a5891b5fba44de3979bea2832be629
https://doi.org/10.1007/bfb0022479
https://doi.org/10.1007/bfb0022479
Autor:
Erik Meineche Schmidt, Kurt Jensen
Publikováno v:
Advances in Petri Nets 1985 ISBN: 3540164804
Applications and Theory in Petri Nets
Applications and Theory in Petri Nets
This paper describes the formal semantics of a subset of PASCAL, by means of a semantic model based on a combination of denotational semantics and high-level Petri nets. It is our intention that the paper can be used as part of the written material f
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b332302808b34e3652f8ac9d2e3c46aa
https://doi.org/10.1007/bfb0016218
https://doi.org/10.1007/bfb0016218
Autor:
Henry Michael Lassen, Kasper Lund, Peter Refsing Andersen, Michel Beaudouin-Lafon, Anne V. Ratzer, Søren Christensen, Wendy E. Mackay, Kjeld Høyer Mortensen, Stephanie Munck, Katrine Ravn, Kurt Jensen, Paul Janecek, Mads Jensen
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783540418658
TACAS
TACAS
CPN/Tools is a major redesign of the popular Design/CPN tool for editing, simulation and state space analysis of Coloured Petri Nets. The new interface is based on advanced interaction techniques, including bi-manual interaction, toolglasses and mark
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::57d0a8922fec2cbb872c71146ed1aff1
https://doi.org/10.1007/3-540-45319-9_39
https://doi.org/10.1007/3-540-45319-9_39
Autor:
Wendy E. Mackay, Michel Beaudouin-Lafon, Katrine Ravn, Søren Christensen, Kjeld Høyer Mortensen, Peter Refsing Andersen, Anne V. Ratzer, Kurt Jensen, Paul Janecek, Mads Jensen, Kasper Lund, Henry Michael Lassen, Stephanie Munck
Publikováno v:
Applications and Theory of Petri Nets 2001 ISBN: 9783540422525
ICATPN
ICATPN
CPN/Tools is a major redesign of the popular Design/CPN tool from the University of Aarhus CPN group. The new interface is based on advanced, post-WIMP interaction techniques, including bi-manual interaction, toolglasses and marking menus and a new m
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c787db6323541fcdf45cba2ec0406f7c
https://doi.org/10.1007/3-540-45740-2_6
https://doi.org/10.1007/3-540-45740-2_6