K. Jensen
10 published titles
High-level Petri nets : theory and application
(Contributor)
1 edition
- ISBN: 038754125X
- Springer-Verlag
- 1991
- Details
Coloured petri nets : basic concepts, analysis methods and practical use
2 editions
- ISBN: 3540555978
- Springer-Verlag
- 1992
- Details
- ISBN: 3540582762
- Springer-Verlag
- 1995
- Details
Application and theory of Petri nets 1992 : 13th International Conference Sheffield, UK, June 22-26, 1992 : proceedings
(Contributor)
1 edition
- ISBN: 3540556761
- Springer-Verlag
- 1992
- Details
Tools and algorithms for the construction and analysis of systems : 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS
(Contributor)
1 edition
- ISBN: 354021299X
- Springer
- 2004
- Details
Coloured petri nets : modeling and validation of concurrent systems
1 edition
- ISBN: 9783642002830
- Springer
- 2009
- Details
Transactions on petri nets and other models of concurrency III
(Contributor)
1 edition
- ISBN: 9783642048548
- Springer
- 2009
- Details
Transactions on petri nets and other models of concurrency IV
(Contributor)
1 edition
- ISBN: 9783642182228
- Springer
- 2010
- Details
Transactions on petri nets and other models of concurrency V
(Contributor)
1 edition
- ISBN: 9783642290718
- Springer
- 2012
- Details
Transactions on petri nets and other models of concurrency VI
(Contributor)
1 edition
- ISBN: 9783642351785
- Springer
- 2012
- Details
Transactions on petri nets and other models of concurrency VII
(Contributor)
1 edition
- ISBN: 9783642381423
- Springer
- 2013
- Details
