Monographs in Theoretical Computer Science. An EATCS Series - Coloured Petri Nets
Latest Publications

TOTAL DOCUMENTS

7

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642082436, 9783662032411

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Computer Tools for Coloured Petri Nets

Monographs in Theoretical Computer Science. An EATCS Series - Coloured Petri Nets ◽

10.1007/978-3-662-03241-1_6 ◽

1996 ◽

pp. 155-203

Author(s):

Kurt Jensen

Keyword(s):

Coloured Petri Nets ◽

Download Full-text

Formal Analysis of Coloured Petri Nets

Monographs in Theoretical Computer Science. An EATCS Series - Coloured Petri Nets ◽

10.1007/978-3-662-03241-1_5 ◽

1996 ◽

pp. 141-154 ◽

Author(s):

Kurt Jensen

Keyword(s):

Formal Analysis ◽

Coloured Petri Nets

Download Full-text

Formal Definition of Coloured Petri Nets

Monographs in Theoretical Computer Science. An EATCS Series - Coloured Petri Nets ◽

10.1007/978-3-662-03241-1_2 ◽

1996 ◽

pp. 65-87

Author(s):

Kurt Jensen

Keyword(s):

Coloured Petri Nets ◽

Formal Definition ◽

Download Full-text

Industrial Applications of Coloured Petri Nets

Monographs in Theoretical Computer Science. An EATCS Series - Coloured Petri Nets ◽

10.1007/978-3-662-03241-1_7 ◽

1996 ◽

pp. 205-219

Author(s):

Kurt Jensen

Keyword(s):

Industrial Applications ◽

Coloured Petri Nets

Download Full-text

Dynamic and Static Properties of Coloured Petri Nets

Monographs in Theoretical Computer Science. An EATCS Series - Coloured Petri Nets ◽

10.1007/978-3-662-03241-1_4 ◽

1996 ◽

pp. 123-140

Author(s):

Kurt Jensen

Keyword(s):

Coloured Petri Nets ◽

Static Properties

Download Full-text

Hierarchical Coloured Petri Nets

Monographs in Theoretical Computer Science. An EATCS Series - Coloured Petri Nets ◽

10.1007/978-3-662-03241-1_3 ◽

1996 ◽

pp. 89-121

Author(s):

Kurt Jensen

Keyword(s):

Coloured Petri Nets

Download Full-text

Informal Introduction to Coloured Petri Nets

Monographs in Theoretical Computer Science. An EATCS Series - Coloured Petri Nets ◽

10.1007/978-3-662-03241-1_1 ◽

1996 ◽

pp. 1-63 ◽

Author(s):

Kurt Jensen

Keyword(s):

Coloured Petri Nets

Download Full-text