MPG.eBooks - Author Search Results

Cover Image

1

Coloured Petri Nets : Basic Concepts, Analysis Methods and Practical Use

by Jensen, Kurt
Published 1997

Springer Berlin Heidelberg

Cover Image

2

Coloured Petri Nets : Basic Concepts, Analysis Methods and Practical Use, Volume 1

by Jensen, Kurt
Published 1992

Springer Berlin Heidelberg

Cover Image

3

Tools and Algorithms for the Construction and Analysis of Systems : 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice...

by Jensen, Kurt
Published 2004

Springer Berlin Heidelberg

Cover Image

4

Coloured Petri Nets : Basic Concepts, Analysis Methods and Practical Use. Volume 1

by Jensen, Kurt
Published 1996

Springer Berlin Heidelberg

Cover Image

5

Coloured Petri Nets : Modelling and Validation of Concurrent Systems

by Jensen, Kurt, Kristensen, Lars M.
Published 2009

Springer Berlin Heidelberg

Cover Image

6

The Rise and Fall of the Danish Empire

by Bregnsbo, Michael, Jensen, Kurt Villads
Published 2022

Springer International Publishing

Cover Image

7

Tools and Algorithms for the Construction and Analysis of Systems : 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice...

Published 2004

Springer Berlin Heidelberg

Other Authors: “...Jensen, Kurt...”

Cover Image

8

High-level Petri Nets : Theory and Application

Published 1991

Springer Berlin Heidelberg

Other Authors: “...Jensen, Kurt...”

Cover Image

9

Transactions on Petri Nets and Other Models of Concurrency VII

Published 2013

Springer Berlin Heidelberg

Other Authors: “...Jensen, Kurt...”