The following pages link to Kurt Jensen (Q418780):
Displayed 18 items.
- The sweep-line state space exploration method (Q418783) (← links)
- Reachability trees for high-level Petri nets (Q579940) (← links)
- Coloured Petri nets and the invariant-method (Q1159464) (← links)
- Special section on coloured Petri nets (Q1865843) (← links)
- The practitioner's guide to coloured Petri nets. (Q1865844) (← links)
- Coloured Petri Nets (Q3617245) (← links)
- (Q3670574) (← links)
- (Q3694702) (← links)
- (Q3769974) (← links)
- (Q3779756) (← links)
- (Q3902494) (← links)
- (Q3928257) (← links)
- (Q4023496) (← links)
- (Q4184325) (← links)
- (Q4348471) (← links)
- (Q4764197) (← links)
- (Q4877483) (← links)
- Lectures on Concurrency and Petri Nets (Q5712286) (← links)