Coloured Petri Nets
Latest Publications

TOTAL DOCUMENTS

7

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662062913, 9783662062890

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Dynamic and Static Properties of Coloured Petri Nets

Coloured Petri Nets ◽

10.1007/978-3-662-06289-0_4 ◽

1992 ◽

pp. 123-140

Author(s):

Kurt Jensen

Keyword(s):

Petri Nets ◽

Coloured Petri Nets ◽

Static Properties

Download Full-text

Computer Tools for Coloured Petri Nets

Coloured Petri Nets ◽

10.1007/978-3-662-06289-0_6 ◽

1992 ◽

pp. 155-203 ◽

Cited By ~ 2

Author(s):

Kurt Jensen

Keyword(s):

Petri Nets ◽

Coloured Petri Nets ◽

Computer Tools

Download Full-text

Formal Definition of Coloured Petri Nets

Coloured Petri Nets ◽

10.1007/978-3-662-06289-0_2 ◽

1992 ◽

pp. 65-87 ◽

Cited By ~ 2

Author(s):

Kurt Jensen

Keyword(s):

Petri Nets ◽

Coloured Petri Nets ◽

Formal Definition ◽

Definition Of

Download Full-text

Industrial Applications of Coloured Petri Nets

Coloured Petri Nets ◽

10.1007/978-3-662-06289-0_7 ◽

1992 ◽

pp. 205-219

Author(s):

Kurt Jensen

Keyword(s):

Petri Nets ◽

Industrial Applications ◽

Coloured Petri Nets

Download Full-text

Formal Analysis of Coloured Petri Nets

Coloured Petri Nets ◽

10.1007/978-3-662-06289-0_5 ◽

1992 ◽

pp. 141-154

Author(s):

Kurt Jensen

Keyword(s):

Petri Nets ◽

Formal Analysis ◽

Coloured Petri Nets

Download Full-text

Hierarchical Coloured Petri Nets

Coloured Petri Nets ◽

10.1007/978-3-662-06289-0_3 ◽

1992 ◽

pp. 89-121

Author(s):

Kurt Jensen

Keyword(s):

Petri Nets ◽

Coloured Petri Nets

Download Full-text

Informal Introduction to Coloured Petri Nets

Coloured Petri Nets ◽

10.1007/978-3-662-06289-0_1 ◽

1992 ◽

pp. 1-63 ◽

Cited By ~ 29

Author(s):

Kurt Jensen

Keyword(s):

Petri Nets ◽

Coloured Petri Nets

Download Full-text