Sortiert nach
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...
    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
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
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
Ü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
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
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
Lectures on Petri nets : advances in Petri nets
Lecture notes in computer science : ...
1998-
    Datensatz exportieren als...
  • BibTeX
Specification and correct implementation of non-sequential systems combining abstract data types and Petri nets
GMD-Bericht : 176 (Alle Bände)
1989
Signatur: TUF1018-176
    Datensatz exportieren als...
  • BibTeX
Modellierung und Ausführung von Workflows mit Petri-Netzen
Teubner-Reihe Wirtschaftsinformatik
1996
Signatur: TVV13366
    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
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
Hardware design and Petri nets
2000
Signatur: TWH2698
    Datensatz exportieren als...
  • BibTeX
Verfahren für den Entwurf heterogener paralleler Algorithmen
1995
Signatur: D11437
    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
On Deadlocks in concurrent systems: a Petri net based approach for Deadlock prediction and avoidance
Berichte der Gesellschaft für Mathematik und Datenverarbeitung : 221 (Alle Bände)
1994
Signatur: TUF1018-221
    Datensatz exportieren als...
  • BibTeX
The control of parallel computations by labeled Petri nets : a study in terms of multiple firing automata and parallel program schemata
1979
Signatur: DQ202
    Datensatz exportieren als...
  • BibTeX
Concurrency and nets : advances in Petri nets
1987
Signatur: TTQP1004
    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
Performance of communication systems : a model based approach with matrix geometric methods
Engineering online library
2001
Signatur: YCB6150
    Datensatz exportieren als...
  • BibTeX
Performance and dependability techniques and tools : selected papers of the recent 11th International Conference on Modelling Tools and Techniques for Computer Performance Evaluation (TOOLS 2000) and the Fourth IEEE International Performance and Dependability Symposium (IPDS 2000), which were both hosted by Motorola in their Galvin Center in Schaumburg, a suburb of Chicago, 27 - 30 March 2000
Performance evaluation : 44 (Alle Bände)
2001
Signatur: 64p2
    Datensatz exportieren als...
  • BibTeX
Zur Semantik graphbasierter Modellierungsmethoden
GMD-Bericht : 186 (Alle Bände)
1990
Signatur: TUF1018-186
    Datensatz exportieren als...
  • BibTeX
Petrinetze : Modellierungstechnik, Analysemethoden, Fallstudien [Elektronische Ressource]
2010
    Datensatz exportieren als...
  • BibTeX
Application of Petri Nets to Communication Networks : Advances in Petri Nets [Elektronische Ressource]
1999
    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
1 – 25 von 76
Suche als RSS-Feed
Aktive Filter
SystemstelleTVG
Suchergebnisse filtern
Filter anzeigen