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
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
Exakte Bedingungen der Lebendigkeit für eine Klasse von Petri-Netzen
Berichte der Gesellschaft für Mathematik und Datenverarbeitung : 82 (Alle Bände)
1973
Signatur: TUF1018-82
    Datensatz exportieren als...
  • BibTeX
Anwendungen der Netztheorie zur formalen Systemspezifikation
Berichte der Gesellschaft für Mathematik und Datenverarbeitung : 166 (Alle Bände)
1987
Signatur: TUF1018-166
    Datensatz exportieren als...
  • BibTeX
Starke Färbbarkeit in Petri-Netzen
Berichte der Gesellschaft für Mathematik und Datenverarbeitung : 117 (Alle Bände)
1978
Signatur: TUF1018-117
    Datensatz exportieren als...
  • BibTeX
Über die Darstellung von CCS-Programmen durch Petrinetze
Berichte der Gesellschaft für Mathematik und Datenverarbeitung : 172 (Alle Bände)
1988
Signatur: TUF1018-172
    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
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
Verfahren für den Entwurf heterogener paralleler Algorithmen
1995
Signatur: D11437
    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
Modellierung und Ausführung von Workflows mit Petri-Netzen
Teubner-Reihe Wirtschaftsinformatik
1996
Signatur: TVV13366
    Datensatz exportieren als...
  • BibTeX
Zur Bedeutung der Concurrency-Theorie für den Aufbau hochverteilter Systeme
Berichte der Gesellschaft für Mathematik und Datenverarbeitung : 180 (Alle Bände)
1989
Signatur: TUF1018-180
    Datensatz exportieren als...
  • BibTeX
Grundbegriffe für eine Logik über Ereignisse und Normen : ein semantischer Ansatz auf der Basis von Petrinetzen
GMD-Bericht : 200 (Alle Bände)
1992
Signatur: TUF1018-200
    Datensatz exportieren als...
  • BibTeX
Petrinetze : Modellierungstechnik, Analysemethoden, Fallstudien [Elektronische Ressource]
2010
    Datensatz exportieren als...
  • BibTeX
Zur Semantik graphbasierter Modellierungsmethoden
GMD-Bericht : 186 (Alle Bände)
1990
Signatur: TUF1018-186
    Datensatz exportieren als...
  • BibTeX
Introduction to computer system performance evaluation
McGraw-Hill computer science series
1992
Signatur: TWP4129
    Datensatz exportieren als...
  • BibTeX
Theorie und Anwendung constraintbasierter Planungsverfahren
Berichte aus der Informatik
Als Ms. gedr, 2000
Signatur: M25246
    Datensatz exportieren als...
  • BibTeX
Petrinetze, lineare Algebra und lineare Programmierung : Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen
Teubner-Texte zur Informatik : 26 (Alle Bände)
1998
Signatur: TVA2704
    Datensatz exportieren als...
  • BibTeX
Ein netztheoretisches Modell zur quantitativen Analyse von Systemen (Q-Modell)
BERICHTE DER GESELLSCHAFT FUER MATHEMATIK UND DATENVERARBEITUNG : 149 (Alle Bände)
1985
Signatur: TUF1018-149
    Datensatz exportieren als...
  • BibTeX
Kausale Semantik nichtsequentieller Programme
GMD-Bericht : 174 (Alle Bände)
1989
Signatur: TUF1018-174
    Datensatz exportieren als...
  • BibTeX
Bewertung produktionsstrategischer Handlungsalternativen : eine Analyse dynamischen Prozessverhaltens mittels Petri-Netz-Theorie
Gabler Edition Wissenschaft : Schriften zum Produktionsmanagement
1999
Signatur: QAY3773
    Datensatz exportieren als...
  • BibTeX
Carl Adam Petri : Eine Biographie [Elektronische Ressource]
2014
    Datensatz exportieren als...
  • BibTeX
Datengetriebene parallelisierte Ablaufsteuerung für die automatisierte industrielle Bildverarbeitung
2012
Signatur: TVV19168
    Datensatz exportieren als...
  • BibTeX
Coloured Petri Nets : Modelling and Validation of Concurrent Systems [Elektronische Ressource]
2009
    Datensatz exportieren als...
  • BibTeX
Diophantische Systeme und Lösungsmethoden zur Bestimmung aller Invarianten in Petri-Netzen
Berichte der Gesellschaft für Mathematik und Datenverarbeitung : 160 (Alle Bände)
1986
Signatur: TUF1018-160
    Datensatz exportieren als...
  • BibTeX
Entscheidbarkeit bei Petri Netzen : Überblick und Kompendium [Elektronische Ressource]
eXamen.press
2008
1 – 25 von 37
Suche als RSS-Feed
Aktive Filter
SpracheEnglisch
SystemstelleTVG
Suchergebnisse filtern
Filter anzeigen