MPG.eBooks - Search Results - "Engineering"

Cover Image

1

Coloured Petri Nets : Modelling and Validation of Concurrent Systems

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

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Cover Image

2

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

by Jensen, Kurt
Published 1992

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Cover Image

3

Transactions on Petri Nets and Other Models of Concurrency VII

Published 2013

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Cover Image

4

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

Subjects: “...Software engineering...”

Cover Image

5

High-level Petri Nets : Theory and Application

Published 1991

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Cover Image

6

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

by Jensen, Kurt
Published 1997

Springer Berlin Heidelberg

Subjects: “...Software engineering...”