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
Direkte und indirekte Wirkungen rechnergestützter Fertigungssysteme : formalisierte Netzstrukturen zur Darstellung und Analyse der Unternehmung
Beiträge zur Wirtschaftsinformatik : 15 (Alle Bände)
1995
Signatur: QBB7001
    Datensatz exportieren als...
  • BibTeX
Proceedings of the Fifth International Workshop on Petri Nets and Performance Models : Toulouse, France, October 19 - 22, 1993
1993
Signatur: XVI931002
    Datensatz exportieren als...
  • BibTeX
Performance of communication systems : a model based approach with matrix geometric methods
Engineering online library
2001
Signatur: YCB6150
    Datensatz exportieren als...
  • BibTeX
Simulation und Analyse von Steuerungssystemen auf der Basis von Petri-Netzen
Schriftenreihe des Lehrstuhls für Regelungssysteme und Steuerungstechnik : 44 (Alle Bände)
1994
Signatur: DQ1816
    Datensatz exportieren als...
  • BibTeX
Petri-Netze in der Steuerungstechnik
1. Aufl, 1988
Signatur: TVG1300
    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
Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen - Promise 2002 : 9. - 11. Oktober 2002 in Potsdam ; [Workshop der Gesellschaft für Informatik e.V. (GI) und Treffen ihrer Fachgruppen "Petrinetze und Verwandte Systemmodelle" und " Entwicklungsmethoden für Informationssysteme und deren Anwendung" (EMISA)
GI-Edition : Proceedings : 21 (Alle Bände)
2002
Signatur: TTQ022362
    Datensatz exportieren als...
  • BibTeX
Verfahren für den Entwurf heterogener paralleler Algorithmen
1995
Signatur: D11437
    Datensatz exportieren als...
  • BibTeX
Introduction to computer system performance evaluation
McGraw-Hill computer science series
1992
Signatur: TWP4129
    Datensatz exportieren als...
  • BibTeX
Spezifikation, Verifikation, Leistungsbewertung und Implementierung von Kommunikationsprotokollen mit hierarchischen High-Level-Netzen
Berichte aus der Informatik
Als Ms. gedr, 1995
Signatur: TWP6472
    Datensatz exportieren als...
  • BibTeX
Hardware design and Petri nets
2000
Signatur: TWH2698
    Datensatz exportieren als...
  • BibTeX
Modelling, analysis, and design of hybrid systems
Lecture notes in control and information sciences : 279 (Alle Bände), Engineering online library
2002
Signatur: TWG7596
    Datensatz exportieren als...
  • BibTeX
Organisationsplanung mit Petri-Netzen : ein integrativ-methodisches Konzept zur Simulation von Organisationsstrukturen
Betriebsinformatik - Beiträge aus Forschung und Praxis : 6 (Alle Bände)
1992
Signatur: PZV10558
    Datensatz exportieren als...
  • BibTeX
Theorie und Anwendung constraintbasierter Planungsverfahren
Berichte aus der Informatik
Als Ms. gedr, 2000
Signatur: M25246
    Datensatz exportieren als...
  • BibTeX
Modellierung und Ausführung von Workflows mit Petri-Netzen
Teubner-Reihe Wirtschaftsinformatik
1996
Signatur: TVV13366
    Datensatz exportieren als...
  • BibTeX
Datengetriebene parallelisierte Ablaufsteuerung für die automatisierte industrielle Bildverarbeitung
2012
Signatur: TVV19168
    Datensatz exportieren als...
  • BibTeX
Elements of distributed algorithms : modeling and analysis with Petri nets
1998
Signatur: TVG1512
    Datensatz exportieren als...
  • BibTeX
Coloured Petri nets : basic concepts, analysis methods and practical use. 1
Coloured Petri nets (Alle Bände)
1992
Signatur: TVG1392-1
    Datensatz exportieren als...
  • BibTeX
A structuring mechanism for Petri nets
1989
Signatur: D483
    Datensatz exportieren als...
  • BibTeX
Petri-Netz-Methoden und -Werkzeuge : Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen
Informatik-Fachberichte : 197 (Alle Bände)
1989
Signatur: TVG1261
    Datensatz exportieren als...
  • BibTeX
Systementwurf mit Netzen
Springer compass
1985
Signatur: TVG1198
    Datensatz exportieren als...
  • BibTeX
Petri-Netze in der Steuerungs- und Digitaltechnik
1988
Signatur: TVG1279
    Datensatz exportieren als...
  • BibTeX
Coloured Petri nets : basic concepts, analysis methods and practical use
Monographs in theoretical computer science: an EATCS series
1992-
Signatur: TVG1392-...
    Datensatz exportieren als...
  • BibTeX
Analyse von Petri-Netz-Modellen
Leitfäden und Monographien der Informatik
1990
Signatur: TVG1342
    Datensatz exportieren als...
  • BibTeX
Entwicklung einer Methode zur parallelen verteilten ereignisgesteuerten Simulation von stochastischen Petri-Netzen : = Developing a method for parallel distributed event simulation of stochastic Petri nets
Berichte aus der Informatik
2002
Signatur: TVG1570
1 – 25 von 110
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen