Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Lectures on Petri nets : advances in Petri nets
Lecture notes in computer science : ...
1998-
    Datensatz exportieren als...
  • BibTeX
Nets, terms and formulas : three views of concurrent processes and their relationship
Cambridge tracts in theoretical computer science : 23 (Alle Bände)
1991
Signatur: TVG1368
    Datensatz exportieren als...
  • BibTeX
Nonsequential processes : a Petri net view
EATCS monographs on theoretical computer science : 13 (Alle Bände)
1988
Signatur: TVG1237
    Datensatz exportieren als...
  • BibTeX
Application and Theory of Petri Nets and Concurrency : 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings [Elektronische Ressource]
2014
    Datensatz exportieren als...
  • BibTeX
Petri-Netze
eXamen-press
2. Aufl, 2008
Signatur: TVG1677(2)
    Datensatz exportieren als...
  • BibTeX
Theoretische Informatik, Petri-Netze
Springer-Lehrbuch
2003
Signatur: TVG1619
    Datensatz exportieren als...
  • BibTeX
Synchronization and linearity : an algebra for discrete event systems
Wiley series in probability and mathematical statistics : Probability and mathematical statistics
1992
Signatur: TZC2988
    Datensatz exportieren als...
  • BibTeX
Application and Theory of Petri Nets and Concurrency : 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings
Theoretical Computer Science and General Issues : 11522
1st ed. 2019, 2019
    Datensatz exportieren als...
  • BibTeX
Petri Nets and Other Models of Concurrency - ICATPN 2006 : 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings [Elektronische Ressource]
2006
    Datensatz exportieren als...
  • BibTeX
Petri-Netze [Elektronische Ressource]
eXamen.press
2. Auflage, 2008
    Datensatz exportieren als...
  • BibTeX
Concurrent Object-Oriented Programming and Petri Nets : Advances in Petri Nets [Elektronische Ressource]
2001
    Datensatz exportieren als...
  • BibTeX
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 [Elektronische Ressource]
2007
    Datensatz exportieren als...
  • BibTeX
Formal and Natural Computing : Essays Dedicated to Grzegorz Rozenberg [Elektronische Ressource]
2002
    Datensatz exportieren als...
  • BibTeX
Lectures on Concurrency and Petri Nets : Advances in Petri Nets [Elektronische Ressource]
2004
    Datensatz exportieren als...
  • BibTeX
Concurrency and Hardware Design : Advances in Petri Nets [Elektronische Ressource]
2002
1 – 15 von 15
Suche als RSS-Feed
Aktive Filter
SystemstelleTUF
SchlagwortNebenläufigkeit
Suchergebnisse filtern
Filter anzeigen