Search results for: Kurt Jensen
The Journal of Physiology > 601 > 10 > 1797 - 1815
Sports Engineering > 2017 > 20 > 4 > 329-333
Coloured Petri Nets > 189-201
Coloured Petri Nets > 313-361
Lecture Notes in Computer Science > Transactions on Petri Nets and Other Models of Concurrency I > 19-34
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > ETAPS Tool Demonstration > 574-577
Lecture Notes in Computer Science > Integration of Software Specification Techniques for Applications in Engineering > Part III: Petri Nets and Related Approaches in Engineering > 248-269
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2001 > Full Papers > 71-80
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2003 > Tool Papers > 450-462
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > 203-208
Lecture Notes in Computer Science > Petri Nets: Applications and Relationships to Other Models of Concurrency > 3-19