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
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
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
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
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
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
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
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
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
Modeling Time in Computing [Elektronische Ressource]
Monographs in Theoretical Computer Science. An EATCS Series
2012
    Datensatz exportieren als...
  • BibTeX
Entwurfsbegleitende Leistungsanalyse mit UML, MARTE und Generalisierten Netzen
[2014]
    Datensatz exportieren als...
  • BibTeX
Verfahren für den Entwurf heterogener paralleler Algorithmen
1995
Signatur: D11437
    Datensatz exportieren als...
  • BibTeX
Theorie und Anwendung constraintbasierter Planungsverfahren
Berichte aus der Informatik
Als Ms. gedr, 2000
Signatur: M25246
    Datensatz exportieren als...
  • BibTeX
Application and Theory of Petri Nets 1997 : 18th International Conference, ICATPN'97 Toulouse, France, June 23–27, 1997 Proceedings [Elektronische Ressource]
1997
    Datensatz exportieren als...
  • BibTeX
Hardware design and Petri nets
2000
Signatur: TWH2698
1 – 25 von 40
Suche als RSS-Feed
Aktive Filter
SystemstelleTVG
SchlagwortSoftware engineering
SchlagwortStochastisches Petri-Netz
Suchergebnisse filtern
Filter anzeigen