Jump To : Overview | Titles | Subjects

Jensen, Kurt.

Overview

Works:	1 works in 6 publications in 1 languages

Titles

Transactions on Petri nets and other models of concurrency IV by: Koutny, Maciej.; Jensen, Kurt.; SpringerLink (Online service); Donatelli, Susanna. (Electronic resources)

Transactions on petri nets and other models of concurrency I by: Jensen, Kurt.; Congress on Progress and Controversies in Oncological Urology (2000:); Aalst, Wil M. P.; Billington, Jonathan.; SpringerLink (Online service) (Electronic resources)

Transactions on petri nets and other models of concurrency III by: Koutny, Maciej.; Jensen, Kurt.; Billington, Jonathan.; SpringerLink (Online service) (Electronic resources)

Coloured petri nets = modelling and validation of concurrent systems / by: Jensen, Kurt.; Kristensen, Lars M.; SpringerLink (Online service) (Electronic resources)

Transactions on petri nets and other models of concurrency VI by: SpringerLink (Online service); Jensen, Kurt. (Electronic resources)

Transactions on petri nets and other models of concurrency V by: Kleijn, Jetty.; Jensen, Kurt.; SpringerLink (Online service); Donatelli, Susanna. (Electronic resources)

Subjects

Software Engineering. Petri nets Algorithm Analysis and Problem Complexity. Computer Communication Networks. Simulation and Modeling. System Performance and Evaluation. Multitasking (Computer science) Theory of Computation. Computer Science. Computer Science, general. Computer multitasking Programming Techniques. Parallel processing (Electronic computers) Petri nets. Computer Systems Organization and Communication Networks. Programming Languages, Compilers, Interpreters. Models and Principles. Mathematical Logic and Formal Languages. Computation by Abstract Devices. Artificial Intelligence (incl. Robotics)