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
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
Anwendungen von Petri-Netzen
1982
Signatur: TVG1164
    Datensatz exportieren als...
  • BibTeX
Äquivalenzuntersuchungen an diskreten Systemen im Petrinetz-Modell
1989
Signatur: D5774
    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
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
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
Coloured petri nets : modelling and validation of concurrent systems
2009
Signatur: TVG1685
    Datensatz exportieren als...
  • BibTeX
Concurrency and nets : advances in Petri nets
1987
Signatur: TTQP1004
    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
Datengetriebene parallelisierte Ablaufsteuerung für die automatisierte industrielle Bildverarbeitung
2012
Signatur: TVV19168
    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
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
Dynamic analysis of Petri net-based discrete systems
Lecture notes in control and information sciences : 356 (Alle Bände)
2007
Signatur: TVG1651
    Datensatz exportieren als...
  • BibTeX
Elements of distributed algorithms : modeling and analysis with Petri nets
1998
Signatur: TVG1512
    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
    Datensatz exportieren als...
  • BibTeX
Erweiterung von Petri-Netzen für den Einsatz in der Wissensverarbeitung
1995
Signatur: D11427
    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
The finite representation of abstract programs by automata and Petri nets
1988
Signatur: D460
    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
Hardware design and Petri nets
2000
Signatur: TWH2698
    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
High level Petri nets : theory and application
1991
Signatur: TVG1376
    Datensatz exportieren als...
  • BibTeX
Introduction to computer system performance evaluation
McGraw-Hill computer science series
1992
Signatur: TWP4129
    Datensatz exportieren als...
  • BibTeX
Kausale Semantik nichtsequentieller Programme
GMD-Bericht : 174 (Alle Bände)
1989
Signatur: TUF1018-174
1 – 25 von 66
Suche als RSS-Feed
Aktive Filter
Art des MediumsGedruckt
Suchergebnisse filtern
Filter anzeigen