Zobrazeno 1 - 10
of 10
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
Autor:
Kurt Jensen
Publikováno v:
DAIMI Report Series; Nr. 584 (2007): PB-584 Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, October
DAIMI Report Series; No 584 (2007): PB-584 Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, October
DAIMI Report Series; No 584 (2007): PB-584 Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, October
This booklet contains the proceedings of the Eighth Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, October 22-24, 2007. The workshop is organised by the CPN group at the Department of Computer Science, University of Aarhus, Denma
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
Autor:
Kurt Jensen
Publikováno v:
DAIMI Report Series; Nr. 560 (2002): PB-560 Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools
DAIMI Report Series; No 560 (2002): PB-560 Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools
DAIMI Report Series; No 560 (2002): PB-560 Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools
This booklet contains the proceedings of the Fourth Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, August 28-30, 2002. The workshop is organised by the CPN group at the Department of Computer Science, University of Aarhus, Denmar
Autor:
Kurt Jensen
Publikováno v:
DAIMI Report Series; Nr. 554 (2001): PB-554 Third Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, August 29
DAIMI Report Series; No 554 (2001): PB-554 Third Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, August 29
DAIMI Report Series; No 554 (2001): PB-554 Third Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, August 29
This booklet contains the proceedings of the Third Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, August 29-31, 2001. The workshop is organised by the CPN group at Department of Computer Science, University of Aarhus, Denmark. Th
Autor:
Kurt Jensen, Paul Janecek, Kasper Lund, Søren Brøgger Christensen, Stephanie Munck, Peter Refsing Andersen, Katrine Ravn, Wendy E. Mackay, Kjeld Høyer Mortensen, Michel Beaudouin-Lafon, Mads Jensen, Michael Lassen, Anne V. Ratzer
Publikováno v:
CHI Extended Abstracts
CPN/Tools is an editor and simulator of Coloured Petri Nets that uses post-WIMP interaction techniques, including bi-manual interaction, toolglasses and marking menus and a new metaphor for managing the workspace. It challenges traditional ideas abou
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
Autor:
Kurt Jensen
Publikováno v:
Coloured Petri Nets ISBN: 9783642645563
This chapter describes a project accomplished by Hartmann Genrich, Gesellschaft fur Mathematik und Datenverarbeitung, Bonn, Germany, Hans-Michael Hanisch, University of Magdeburg, Germany, and Konrad Wollhaf, University of Dortmund, Germany. The chap
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f2a63910d40d5af95d1d132a989b769d
https://doi.org/10.1007/978-3-642-60794-3_18
https://doi.org/10.1007/978-3-642-60794-3_18
Autor:
Kurt Jensen
Publikováno v:
Coloured Petri Nets ISBN: 9783662062913
Monographs in Theoretical Computer Science. An EATCS Series ISBN: 9783642082436
Monographs in Theoretical Computer Science. An EATCS Series ISBN: 9783642082436
This chapter describes four of the projects which have used hierarchical CP-nets for modelling and analysis. All the projects have worked with reasonably large models, typically 15–50 pages and 25–150 page instances. They have all used the CPN to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::baf3863e5a01d1a55547bebc2be03960
https://doi.org/10.1007/978-3-662-06289-0_7
https://doi.org/10.1007/978-3-662-06289-0_7