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
Programmierung einer Klasse von Multiprozessorsystemen mit höheren Petri-Netzen
Hochschultexte Informatik : 3 (Alle Bände)
1988
Signatur: TVG1245
    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
Nonsequential processes : a Petri net view
EATCS monographs on theoretical computer science : 13 (Alle Bände)
1988
Signatur: TVG1237
    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
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
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
    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
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
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
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
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
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
Ü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
Kausale Semantik nichtsequentieller Programme
GMD-Bericht : 174 (Alle Bände)
1989
Signatur: TUF1018-174
    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
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
Zur Semantik graphbasierter Modellierungsmethoden
GMD-Bericht : 186 (Alle Bände)
1990
Signatur: TUF1018-186
    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
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
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
Modelling, analysis, and design of hybrid systems
Lecture notes in control and information sciences : 279 (Alle Bände), Engineering online library
2002
Signatur: TWG7596
    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
Application and Theory of Petri Nets 1998 : 19th International Conference, ICATPN’98 Lisbon, Portugal, June 22–26, 1998 Proceedings [Elektronische Ressource]
1998
    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
Systementwurf mit Netzen
Springer compass
1985
Signatur: TVG1198
1 – 25 von 103
Suche als RSS-Feed
Aktive Filter
Systemstelle64
SchlagwortGefärbtes Petri-Netz
Suchergebnisse filtern
Filter anzeigen