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
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
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
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
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
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
    Datensatz exportieren als...
  • BibTeX
Petri-Netze in der Steuerungs- und Digitaltechnik
1988
Signatur: TVG1279
    Datensatz exportieren als...
  • BibTeX
Petri-Netze für Ingenieure : Modellbildung und Analyse diskret gesteuerter Systeme
1990
Signatur: TVG1384
    Datensatz exportieren als...
  • BibTeX
Petri-Netze in der Steuerungstechnik
1. Aufl, 1988
Signatur: TVG1300
    Datensatz exportieren als...
  • BibTeX
Application and Theory of Petri Nets : 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings [Elektronische Ressource]
2012
    Datensatz exportieren als...
  • BibTeX
Entwurfsbegleitende Leistungsanalyse mit UML, MARTE und Generalisierten Netzen
[2014]
    Datensatz exportieren als...
  • BibTeX
Application and Theory of Petri Nets 1999 : 20th International Conference, ICATPN’99 Williamsburg, Virginia, USA, June 21–25, 1999 Proceedings [Elektronische Ressource]
1999
    Datensatz exportieren als...
  • BibTeX
Petrinetze : Modellierungstechnik, Analysemethoden, Fallstudien [Elektronische Ressource]
2010
    Datensatz exportieren als...
  • BibTeX
Hardware design and Petri nets
2000
Signatur: TWH2698
    Datensatz exportieren als...
  • BibTeX
Analyse von Petri-Netz-Modellen
Leitfäden und Monographien der Informatik
1990
Signatur: TVG1342
    Datensatz exportieren als...
  • BibTeX
Applications and Theory of Petri Nets : 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings [Elektronische Ressource]
2011
    Datensatz exportieren als...
  • BibTeX
Ereignisdiskrete Systeme : Modellierung und Analyse dynamischer Systeme mit Automaten, Markovketten und Petrinetzen
De Gruyter Studium
3., aktualisierte Auflage, [2017]
    Datensatz exportieren als...
  • BibTeX
Understanding Petri Nets : Modeling Techniques, Analysis Methods, Case Studies [Elektronische Ressource]
2013
1 – 25 von 53
Suche als RSS-Feed
Aktive Filter
Art des InhaltsHochschulschrift (Sonstige)
SchlagwortComputational complexity
SchlagwortPetri-Netz
Suchergebnisse filtern
Filter anzeigen