Coloured Petri Nets
Latest Publications

TOTAL DOCUMENTS

15
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642002830, 9783642002847
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Teaching Coloured Petri Nets

2009 ◽  
pp. 363-374
Author(s):  
Kurt Jensen ◽  
Lars M. Kristensen
Keyword(s):  
Petri Nets ◽  
Coloured Petri Nets

Advanced State Space Methods

2009 ◽  
pp. 189-201
Author(s):  
Kurt Jensen ◽  
Lars M. Kristensen
Keyword(s):  
State Space ◽  
State Space Methods

Formal Definition of State Spaces and Behavioural Properties

2009 ◽  
pp. 203-229
Author(s):  
Kurt Jensen ◽  
Lars M. Kristensen
Keyword(s):  
Formal Definition ◽  
State Spaces ◽  
Definition Of

Simulation-based Performance Analysis

2009 ◽  
pp. 273-301
Author(s):  
Kurt Jensen ◽  
Lars M. Kristensen
Keyword(s):  
Performance Analysis ◽  
Simulation Based

Timed Coloured Petri Nets

2009 ◽  
pp. 231-255 ◽  
Author(s):  
Kurt Jensen ◽  
Lars M. Kristensen
Keyword(s):  
Petri Nets ◽  
Coloured Petri Nets

Hierarchical Coloured Petri Nets

2009 ◽  
pp. 95-125 ◽  
Author(s):  
Kurt Jensen ◽  
Lars M. Kristensen
Keyword(s):  
Petri Nets ◽  
Coloured Petri Nets

CPN ML Programming

2009 ◽  
pp. 43-77
Author(s):  
Kurt Jensen ◽  
Lars M. Kristensen

Formal Definition of Hierarchical Coloured Petri Nets

2009 ◽  
pp. 127-149 ◽  
Author(s):  
Kurt Jensen ◽  
Lars M. Kristensen
Keyword(s):  
Petri Nets ◽  
Coloured Petri Nets ◽  
Formal Definition ◽  
Definition Of

Formal Definition of Timed Coloured Petri Nets

2009 ◽  
pp. 257-271
Author(s):  
Kurt Jensen ◽  
Lars M. Kristensen
Keyword(s):  
Petri Nets ◽  
Coloured Petri Nets ◽  
Formal Definition ◽  
Definition Of
Load More ...
Sign in / Sign up

Export Citation Format

Share Document