( en | de | ru )

 

Disambiguierung von "Jensen, Kurt"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Hierarchies in coloured Petri nets.

, , und . Applications and Theory of Petri Nets, Volume 483 von Lecture Notes in Computer Science, Seite 313-341. Springer, (1989)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Kurt Jensen

Luitgard Jensen

Jorge Jensen

Edelgard Jensen

Alfred Jensen

 

Weitere Publikationen von Autoren mit dem selben Namen

Coloured Petri nets: A high level language for system design and analysis.. Applications and Theory of Petri Nets, Volume 483 von Lecture Notes in Computer Science, Seite 342-416. Springer, (1989)A Petri Net Definition of a System Description Language., , und . Semantics of Concurrent Computation, Volume 70 von Lecture Notes in Computer Science, Seite 348-368. Springer, (1979)Coloured Petri Nets: Status and Outlook.. ICATPN, Volume 2679 von Lecture Notes in Computer Science, Seite 1-2. Springer, (2003)Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets., und . Trans. Petri Nets Other Model. Concurr., (2008)Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems., , und . Int. J. Softw. Tools Technol. Transf., 9 (3-4): 213-254 (2007)Colored Petri nets: a graphical language for formal modeling and validation of concurrent systems., und . Commun. ACM, 58 (6): 61-70 (2015)Pascal semantics by a combination of denotational semantics and high-level Petri nets., und . Applications and Theory in Petri Nets, Volume 222 von Lecture Notes in Computer Science, Seite 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)Computer Tools for Construction, Modification and Analysis of Petri Nets.. Advances in Petri Nets, Volume 255 von Lecture Notes in Computer Science, Seite 4-19. Springer, (1986)