( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Volume 1, Basic Concepts

. Springer-Verlag, (1997)2nd corrected printing.

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.

Kurt Jensen

Jörn Jensen

Annemarie Jensen

Hans Jensen

Siegfried Jensen

 

Другие публикации лиц с тем же именем

Computer Tools for Construction, Modification and Analysis of Petri Nets.. Advances in Petri Nets, том 255 из Lecture Notes in Computer Science, стр. 4-19. Springer, (1986)Pascal semantics by a combination of denotational semantics and high-level Petri nets., и . Applications and Theory in Petri Nets, том 222 из Lecture Notes in Computer Science, стр. 297-329. Springer, (1985)Coloured Petri Nets: Status and Outlook.. ICATPN, том 2679 из Lecture Notes in Computer Science, стр. 1-2. Springer, (2003)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)Colored Petri nets: a graphical language for formal modeling and validation of concurrent systems., и . Commun. ACM, 58 (6): 61-70 (2015)Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets., и . Trans. Petri Nets Other Model. Concurr., (2008)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., , и . 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)