Zobrazeno 1 - 10
of 14
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
Publikováno v:
Lectures on Concurrency and Petri Nets ISBN: 9783540222613
Lectures on Concurrency and Petri Nets
Lectures on Concurrency and Petri Nets
Coloured Petri Nets (CP-nets or CPNs) and their supporting computer tools have been used in a wide range of application areas such as communication protocols, software designs, and embedded systems. The practical application of CP-nets has also cover
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::189b0518e34b6c5289af7e658a392f4d
https://doi.org/10.1007/978-3-540-27755-2_18
https://doi.org/10.1007/978-3-540-27755-2_18
Autor:
Kurt Jensen
Publikováno v:
Applications and Theory of Petri Nets 2003 ISBN: 9783540403340
ICATPN
ICATPN
This talk presents my personal view of the current status of high-level Petri Nets, in particular Coloured Petri Nets. What have we achieved over the last 25 years and what are the main challenges that need to be addressed in order to make high-level
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a6f11863f891fda8434400358ed52b31
https://doi.org/10.1007/3-540-44919-1_1
https://doi.org/10.1007/3-540-44919-1_1
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
Publikováno v:
DAIMI Report Series; Nr. 547 (2000): PB-547 Practical Use of High-level Petri Nets
DAIMI Report Series; No 547 (2000): PB-547 Practical Use of High-level Petri Nets
DAIMI Report Series; No 547 (2000): PB-547 Practical Use of High-level Petri Nets
This booklet contains the proceedings of the Workshop on Practical Use of High-level Petri Nets, June 27, 2000. The workshop is part of the 21st International Conference on Application and Theory of Petri Nets organised by the CPN group at the Depart
Autor:
Kurt Jensen
Publikováno v:
DAIMI Report Series; Nr. 532 (1998): PB-532 Workshop on Practical Use of Coloured Petri Nets and Design/CPN: Aarhus, Denmark, 10-12 June 1998
DAIMI Report Series; No 532 (1998): PB-532 Workshop on Practical Use of Coloured Petri Nets and Design/CPN: Aarhus, Denmark, 10-12 June 1998
DAIMI Report Series; No 532 (1998): PB-532 Workshop on Practical Use of Coloured Petri Nets and Design/CPN: Aarhus, Denmark, 10-12 June 1998
This booklet contains the proceedings of the 1998 Workshop on Practical Use of Coloured Petri Nets and Design/CPN. The papers are also available in electronic form via the CPN Web pages at University of Aarhus: http://www.daimi.au.dk/CPnets/
Publikováno v:
Kristensen, L M, Christensen, S & Jensen, K 1998, ' The Practitioner's guide to Coloured Petri Nets ', International Journal on Software Tools for Technology Transfer, vol. 2, no. 2, pp. 98-132 . https://doi.org/10.1007/s100090050021
Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation, and verification of systems. CP-nets have a wide range of application areas and many CPN projects have been carried out in industry, e.g., in the are
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::82345c97c203b5a98c20ad8aabdcd3dc
https://pure.au.dk/portal/da/publications/the-practitioners-guide-to-coloured-petri-nets(d39ec010-cf85-11de-a30a-000ea68e967b).html
https://pure.au.dk/portal/da/publications/the-practitioners-guide-to-coloured-petri-nets(d39ec010-cf85-11de-a30a-000ea68e967b).html
Autor:
Kurt Jensen
Publikováno v:
DAIMI Report Series; Nr. 338 (1990): PB-338 Coloured Petri Nets: A High Level Language for System Design and Analysis
DAIMI Report Series; No 338 (1990): PB-338 Coloured Petri Nets: A High Level Language for System Design and Analysis
DAIMI Report Series; No 338 (1990): PB-338 Coloured Petri Nets: A High Level Language for System Design and Analysis
This paper describes how Coloured Petri Nets (CP-nets) have been developed - from being a promising theoretical model to being a full-fledged language for the design, specification, simulation, validation and implementation of large software systems