Publications

Sortér efter: Dato | Forfatter | Titel

Jensen, K. (1998). An Introduction to the Practical Use of Coloured Petri Nets. I W. Reisig & G. Rozenberg (red.), Lecture on Petri Nets II: Applications (s. 237-292). Springer. https://doi.org/10.1007/3-540-65307-4_50

Jensen, K. (red.) (1998). Special Section on Coloured Petri Nets. International Journal on Software Tools for Technology Transfer, 2(2), 95-191. https://doi.org/10.1007/s100090050020

Kristensen, L. M., Christensen, S. & Jensen, K. (1998). The Practitioner's guide to Coloured Petri Nets. International Journal on Software Tools for Technology Transfer, 2(2), 98-132. https://doi.org/10.1007/s100090050021

Jensen, K. (red.) (1998). Workshop on Practical Use of Coloured Petri Nets and Design/CPN: Aarhus, Denmark, June 10-12, 1998. Department of Computer Science, Aarhus University.

Jensen, K. (1997). A Brief Introduction to Coloured Petri Nets. I E. Brinksma (red.), Tools and Algorithms for the Construction and Analysis of Systems (Bind 1217, s. 203-208). Springer. https://doi.org/10.1007/BFb0035389

Jensen, K. (1997). Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol 1, Basic Concepts. (2. ed., 2. corr. printing udg.) Springer. Monographs in theoretical computer science: an EATCS series

Jensen, K. (1997). Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 3, Practical Use. Springer. Monographs in theoretical computer science: an EATCS series

Christensen, S., Jørgensen, J. B. & Madsen, K. H. (1997). Design as Interaction with Computer Based Materials. I G. van der Veer, A. Henderson & S. Coles (red.), Proceeding of DIS 97 (s. 65-71). Society for Industrial and Applied Mathematics.

Jensen, K. & Emerson, E. A. (red.) (1996). Condensed State Spaces for Symmetrical Coloured Petri Nets. Formal Methods in System Design, 9(1/2), 7-40. https://doi.org/10.1007/BF00625967

Jensen, K. (1995). Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods. Springer. Monographs in theoretical computer science: an EATCS series

Jensen, K. (1994). An Introduction to the Theoretical Aspects of Coloured Petri nets. I J. W. D. Bakker, W.-P. D. Roever & G. Rozenberg (red.), A Decade of Concurrency Reflections and Perspectives (Bind 803, s. 230-272). Springer. https://doi.org/10.1007/3-540-58043-3

Jensen, K. (red.) (1992). Application and Theory of Petri Nets. Springer. Lecture Notes in Computer Science Bind 616 https://doi.org/10.1007/3-540-55676-1

Jensen, K. (1992). Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 1, Basic Concepts. Springer. Monographs in theoretical computer science: an EATCS series

Jensen, K. (1991). Coloured Petri Nets: A High-level Language for System Design and Analysis. I G. Rozenberg (red.), Advances in Petri Nets 1990 (s. 342-416). Springer. https://doi.org/10.1007/3-540-53863-1_31

Jensen, K. & Feldbrugge, F. (1991). Computer Tools for High-level Petri Nets. I K. Jensen & G. Rozenberg (red.), High-level Petri Nets. Theory and Application (Bind Advances in Petri Nets 1991, s. 691-717). Springer.

Jensen et. al, K. (1991). Design/CPN. A Reference Manual. Department of Computer Science, Aarhus University. http://www.daimi.au.dk/designCPN/man/

Huber, P., Jensen, K. & Shapiro, R. M. (1991). Hierarchies in Coloured Petri Nets. I G. Rozenberg (red.), Advances in Petri Nets 1990 (s. 313-341). Springer. https://doi.org/10.1007/3-540-53863-1_30

Jensen, K. & Rozenberg, G. (red.) (1991). High-level Petri Nets: Theory and Applications. Springer.

Jensen, K., Huber, P. & Shapiro, R. M. (1990). Design/CPN Extensions. (II udg.) Meta Software Corporation.

Albert, K., Jensen, K. & Sharpiro, R. M. (1989). Design/CPN: A tool package supporting the use of Coloured Petri Nets. Petri Net Newsletter, 32, 22-35.

Christensen, S., Grønbæk, K. & Rolskov, T. (1987). Arbejdsformer under anvendelse af 4. generationsværktøjer. Department of Computer Science, Aarhus University. DAIMI IR Nr. 69

Jensen, K. (1987). Coloured Petri Nets. I W. Brauer, W. Reisig & G. Rozenberg (red.), Petri Nets: Central Models and Their Properties: Advances in Petri Nets 1986, Part I (Bind 254, s. 248-299). Springer. https://doi.org/10.1007/BFb0046842

Jensen, K. (1987). Coloured Petri Nets: A way to describe and analyse real-world systems - without drowning in unnecessary details. I Proceedings of the fifth International Conference on Systems Engineering (s. 395-401). IEEE.

Jensen, K. (1987). Computer Tools for Construction, Modification and Analysis of Petri Nets. I W. Brauer, W. Reisig & G. Rozenberg (red.), Petri Nets: Applications and Relationships to Other Models of Concurrency (Bind 255/Part II, s. 4-19). Springer. https://doi.org/10.1007/3-540-17906-2_20

Jensen, K. & Feldbrugge, F. (1987). Petri Net Tool Overview 1986. I W. Brauer, W. Reisig & G. Rozenberg (red.), Petri Nets: Applications and Relationships to Other Models of Concurrency (Bind 255/Part II, s. 20-61). Springer. https://doi.org/10.1007/3-540-17906-2

Jensen, K. & Schmidt, E. M. (1986). Pascal Semantics by a Combination of Denotational Semantics and High-level Petri Nets. I G. Rozenberg (red.), Advances in Petri Nets 1985 (Bind 222, s. 297-329). Springer. https://doi.org/10.1007/BFb0016218

Jensen, K., Jensen, A. M., Jepsen, L. O. & Huber, P. (1986). Reachability Trees for High-level Petri Nets. Theoretical Computer Science, 45(3), 261-292. https://doi.org/10.1016/0304-3975(86)90046-0

Jensen, K. (red.) (1985). 6th European Workshop on Applications and Theory of Petri Nets. Proceedings: Held in Espoo, Finland in June 1985.

Jensen, K. (1985). An Introduction to High-level Petri Nets. I Proceedings of the 1985 International Symposium on Circuits and Systems: Kyoto 85 (s. 723-726). IEEE.

Jensen, K. (1985). The Design of a Program Package for an Introductory Petri Net Course. I G. Rozenberg, H. Genrich & G. Roucairol (red.), Advances in Petri Nets 1984 (Bind 188, s. 259-266). Springer. https://doi.org/10.1007/3-540-15204-0_15

Huber, P., Jensen, A. M., Jepsen, L. O. & Jensen, K. (1985). Towards Reachability Trees for High-level Petri Nets. I G. Rozenberg, H. J. Genrich & G. Roucairol (red.), Advances in Petri Nets 1984, Proceedings (s. 215-233). Springer. https://doi.org/10.1007/3-540-15204-0_13

Jensen, K. (1983). High-level Petri Nets. I A. Pagnoni & G. Rozenberg (red.), Applications and Theory of Petri Nets: Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets, Varenna, Italy, September 27-30, 1982 (Bind 66, s. 166-180). Springer.

Jensen, K. & Kyng, M. (1982). Petri Nets and Semantics of System Descriptions. I C. Girault & W. Reisig (red.), Application and Theory of Petri Nets: Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets (s. 64 - 71). Springer.

Jensen, K. (1981). Coloured Petri Nets and the Invariant Method. Theoretical Computer Science, 14(3), 317-336. https://doi.org/10.1016/0304-3975(81)90049-9

Jensen, K. (1981). How to Find Invariants for Coloured Petri Nets. I J. Gruska & M. Chytil (red.), Mathematical Foundations of Computer Science 1981 (Bind 118, s. 327-338). Springer. https://doi.org/10.1007/3-540-10856-4_100

Jensen, K. (1980). A Method to Compare the Descriptive Power of Different Types of Petri Nets. I P. Dembinski (red.), Mathematical Foundations of Computer Science 1980 (Bind 88, s. 348-361). Springer. https://doi.org/10.1007/BFb0022516

Jensen, K. & Kyng, M. (1980). Epsilon. A System Description Language. Department of Computer Science, Aarhus University.

Jensen, K. (1980). Net Modeller i Systembeskrivelse: Summary of Ph. D. thesis. Aarhus Universitetsforlag.

Jensen, K., Kyng, M. & Madsen, O. L. (1979). A Petri Net Definition of a System Description Language. I G. Kahn (red.), Semantics of Concurrent Computation (s. 348 - 368). Springer. https://doi.org/10.1007/BFb0022479

Jensen, K., Kyng, M. & Madsen, O. L. (1979). Delta Semantics Defined By Petri Nets. Aarhus Universitetsforlag.

Jensen, K. (1978). Extended and Hyper Petri nets. Aarhus Universitetsforlag. DAIMI TR Nr. 5

Viser resultater 51 til 91 ud af 91

Forrige

Revideret 17.04.2023