Zum Inhalt springen

Kleijn, Jetty [HerausgeberIn]; Yakovlev, Alex [Sonstige Person, Familie und Körperschaft] ; ICATPN 28 2007 Siedlce

Petri nets and other models of concurrency - ICATPN 2007 : 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25 - 29, 2007 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2007

Erschienen in: Lecture notes in computer science ; 4546
Donatelli, Susanna [VerfasserIn] ; Kleijn, Jetty [Sonstige Person, Familie und Körperschaft]

Application and Theory of Petri Nets 1999 : 20th International Conference, ICATPN’99 Williamsburg, Virginia, USA, June 21–25, 1999 Proceedings

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 1999

Erschienen in: Lecture notes in computer science ; 1639
Jensen, Kurt [VerfasserIn] ; Donatelli, Susanna [Sonstige Person, Familie und Körperschaft]; Kleijn, Jetty [Sonstige Person, Familie und Körperschaft]

Transactions on Petri Nets and Other Models of Concurrency V

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2012

Erschienen in: Lecture notes in computer science ; 6900
Kleijn, Jetty [Sonstige Person, Familie und Körperschaft]; Jakovlev, Alex [Sonstige Person, Familie und Körperschaft]

Petri Nets and Other Models of Concurrency - ICATPN 2007 : 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceeding

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2007

Erschienen in: Lecture notes in computer science ; 4546
Koutny, Maciej [HerausgeberIn]; Kleijn, Jetty [HerausgeberIn]; Penczek, Wojciech [HerausgeberIn]

Transactions on Petri Nets and Other Models of Concurrency XII

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer, 2017

Erschienen in: Lecture notes in computer science ; 10470
Koutny, Maciej [HerausgeberIn]; Desel, Jörg [HerausgeberIn]; Kleijn, Jetty [HerausgeberIn]

Transactions on Petri Nets and Other Models of Concurrency XI

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer, 2016

Erschienen in: Lecture notes in computer science ; 9930
Jensen, Kurt [VerfasserIn] ; Aalst, Wil M. P. [Sonstige Person, Familie und Körperschaft]; Ajmone Marsan, Marco [Sonstige Person, Familie und Körperschaft]; Franceschinis, Giuliana [Sonstige Person, Familie und Körperschaft]; Kleijn, Jetty [Sonstige Person, Familie und Körperschaft]; Kristensen, Lars M. [Sonstige Person, Familie und Körperschaft]

Transactions on Petri Nets and Other Models of Concurrency VI

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer, 2012

Erschienen in: Lecture notes in computer science ; 740000
Kleijn, Jetty

Petri Net Technology for Communication-Based Systems: Team Automata for CSCW – A Survey –

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2003

Erschienen in: Petri Net Technology for Communication-Based Systems
Kwantes, Pieter; Kleijn, Jetty

Transactions on Petri Nets and Other Models of Concurrency XVI: Distributed Synthesis of Asynchronously Communicating Distributed Process Models

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2022

Erschienen in: Transactions on Petri Nets and Other Models of Concurrency XVI
Carmona, Josep; Kleijn, Jetty

Compatibility in a multi-component environment

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2013

Erschienen in: Theoretical Computer Science
Kleijn, Jetty; Koutny, Maciej

Localities in systems with a/sync communication

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2012

Erschienen in: Theoretical Computer Science
Kleijn, Jetty; Koutny, Maciej

Mutex Causality in Processes and Traces of General Elementary Nets

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

IOS Press, 2013

Erschienen in: Fundamenta Informaticae
Kleijn, Jetty; Koutny, Maciej

Step coverability algorithms for communicating systems

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2012

Erschienen in: Science of Computer Programming
Kleijn, Jetty; Koutny, Maciej

Transactions on Petri Nets and Other Models of Concurrency VII: Causality in Extensions of Petri Nets

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2013

Erschienen in: Transactions on Petri Nets and Other Models of Concurrency VII
Kleijn, Jetty; Koutny, Maciej

Applications and Theory of Petri Nets: The Mutex Paradigm of Concurrency

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2011

Erschienen in: Applications and Theory of Petri Nets
Kleijn, Jetty; Koutny, Maciej

Dependable and Historic Computing: Causality in Structured Occurrence Nets

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2011

Erschienen in: Dependable and Historic Computing
Kleijn, Jetty; Koutny, Maciej

Membrane Systems with Qualitative Evolution Rules

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

IOS Press, 2011

Erschienen in: Fundamenta Informaticae
Kleijn, Jetty; Koutny, Maciej

Applications and Theory of Petri Nets: Petri Nets with Localities and Testing

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2010

Erschienen in: Applications and Theory of Petri Nets
Kleijn, Jetty; Koutny, Maciej

Fundamentals of Software Engineering: Applying Step Coverability Trees to Communicating Component-Based Systems

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2010

Erschienen in: Fundamentals of Software Engineering
Kleijn, Jetty; Koutny, Maciej

A Petri net model for membrane systems with dynamic structure

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Science and Business Media LLC, 2009

Erschienen in: Natural Computing

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr