( en | de | ru )

 

Disambiguation of "Jensen, Kurt"

Author of the publication

copydeleteadd this publication to your clipboard
Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets.

, and . Trans. Petri Nets Other Model. Concurr., (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Kurt Jensen

Sven Jensen

Ove Jensen

Ingrid Jensen

Stefan Jensen

 

Other publications of authors with the same name

Colored Petri nets: a graphical language for formal modeling and validation of concurrent systems., and . Commun. ACM, 58 (6): 61-70 (2015)Computer Tools for Construction, Modification and Analysis of Petri Nets.. Advances in Petri Nets, volume 255 of Lecture Notes in Computer Science, page 4-19. Springer, (1986)Pascal semantics by a combination of denotational semantics and high-level Petri nets., and . Applications and Theory in Petri Nets, volume 222 of Lecture Notes in Computer Science, page 297-329. Springer, (1985)Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use - Volume 1, Second Edition. Monographs in Theoretical Computer Science. An EATCS Series Springer, (1996)Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use - Volume 3. Monographs in Theoretical Computer Science. An EATCS Series Springer, (1997)Coloured Petri Nets: Status and Outlook.. ICATPN, volume 2679 of Lecture Notes in Computer Science, page 1-2. Springer, (2003)Special section on coloured Petri nets.. Int. J. Softw. Tools Technol. Transf., 9 (3-4): 209-212 (2007)Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems., , and . Int. J. Softw. Tools Technol. Transf., 9 (3-4): 213-254 (2007)Special section on Coloured Petri Nets.. Int. J. Softw. Tools Technol. Transf., 10 (1): 1-3 (2008)Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets., and . Trans. Petri Nets Other Model. Concurr., (2008)