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
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
    Datensatz exportieren als...
  • BibTeX
Petri-Netze : Grundlagen und Anwendungen
Hochschultaschenbuch
2. Aufl, 1996
Signatur: TVG1318(2)
    Datensatz exportieren als...
  • BibTeX
Petrinetze : Modellierungstechnik, Analysemethoden, Fallstudien
Studium, Leitfäden der Informatik
1. Aufl, 2010
Signatur: TVG1693
    Datensatz exportieren als...
  • BibTeX
Petri-Netz-Bilder-Buch : (eine elementare Einführung in die beste bildliche Darstellung zeitlicher Veränderungen)
2002
Signatur: TVG1588
    Datensatz exportieren als...
  • BibTeX
Petri nets for systems engineering : a guide to modeling, verification and applications ; with 9 tables
2003
Signatur: TVG1627
    Datensatz exportieren als...
  • BibTeX
Hierarchische Petrinetze : Beiträge zur Theorie und formale Basis für zugehörige Werkzeuge
1992
Signatur: TVG1415
    Datensatz exportieren als...
  • BibTeX
The mathematics of petri nets
1. [Dr.], 1990
Signatur: TVG1326
    Datensatz exportieren als...
  • BibTeX
High level Petri nets : theory and application
1991
Signatur: TVG1376
    Datensatz exportieren als...
  • BibTeX
Analyse von Petri-Netz-Modellen
Leitfäden und Monographien der Informatik
1990
Signatur: TVG1342
    Datensatz exportieren als...
  • BibTeX
Petri-Netze aus der Sicht des Ingenieurs
1980
Signatur: TVG1148
    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
Petrinetze : eine Einführung
Studienreihe Informatik
2., überarb. u. erw. Aufl., 2. unveränd. Nachdr, 1991
Signatur: TVG1122(2)
    Datensatz exportieren als...
  • BibTeX
A structuring mechanism for Petri nets
1989
Signatur: D483
    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
Systementwurf mit Netzen
Springer compass
1985
Signatur: TVG1198
    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
Lectures on Petri nets : advances in Petri nets
Lecture notes in computer science : ...
1998-
    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
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
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
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
Erweiterung von Petri-Netzen für den Einsatz in der Wissensverarbeitung
1995
Signatur: D11427
    Datensatz exportieren als...
  • BibTeX
Coloured petri nets : modelling and validation of concurrent systems
2009
Signatur: TVG1685
    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
Anwendungen von Petri-Netzen
1982
Signatur: TVG1164
    Datensatz exportieren als...
  • BibTeX
Stochastic Petri nets : an introduction to the theory
2. ed, 2002
Signatur: TVG1732(2)
1 – 25 von 104
Suche als RSS-Feed
Aktive Filter
Autor / AutorinPrinoth, Rainer
Autor / AutorinSmith, Einar
Autor / AutorinYakovlev, Alex
Suchergebnisse filtern
Filter anzeigen