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
Analyse von Petri-Netz-Modellen
Leitfäden und Monographien der Informatik
1990
Signatur: TVG1342
    Datensatz exportieren als...
  • BibTeX
The mathematics of petri nets
1. [Dr.], 1990
Signatur: TVG1326
    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
High level Petri nets : theory and application
1991
Signatur: TVG1376
    Datensatz exportieren als...
  • BibTeX
Petri-Netze aus der Sicht des Ingenieurs
1980
Signatur: TVG1148
    Datensatz exportieren als...
  • BibTeX
Petri-Netze : Grundlagen und Anwendungen
Hochschultaschenbuch
2. Aufl, 1996
Signatur: TVG1318(2)
    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
Petrinetze : Modellierungstechnik, Analysemethoden, Fallstudien
Studium, Leitfäden der Informatik
1. Aufl, 2010
Signatur: TVG1693
    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
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
Systementwurf mit Netzen
Springer compass
1985
Signatur: TVG1198
    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)
    Datensatz exportieren als...
  • BibTeX
Coloured petri nets : modelling and validation of concurrent systems
2009
Signatur: TVG1685
    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
Petri-Netze für Ingenieure : Modellbildung und Analyse diskret gesteuerter Systeme
1990
Signatur: TVG1384
    Datensatz exportieren als...
  • BibTeX
Hardware design and Petri nets
2000
Signatur: TWH2698
    Datensatz exportieren als...
  • BibTeX
Elements of distributed algorithms : modeling and analysis with Petri nets
1998
Signatur: TVG1512
    Datensatz exportieren als...
  • BibTeX
Modellierung und Ausführung von Workflows mit Petri-Netzen
Teubner-Reihe Wirtschaftsinformatik
1996
Signatur: TVV13366
    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
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
Petri-Netze in der Steuerungs- und Digitaltechnik
1988
Signatur: TVG1279
    Datensatz exportieren als...
  • BibTeX
Petri-Netze in der Steuerungstechnik
1. Aufl, 1988
Signatur: TVG1300
    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
1 – 25 von 34
Suche als RSS-Feed
Aktive Filter
Art des InhaltsSonstiges
Art des MediumsGedruckt
Suchergebnisse filtern
Filter anzeigen