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
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
A structuring mechanism for Petri nets
1989
Signatur: D483
    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 nets for systems engineering : a guide to modeling, verification and applications ; with 9 tables
2003
Signatur: TVG1627
    Datensatz exportieren als...
  • BibTeX
Spezifikation, Verifikation, Leistungsbewertung und Implementierung von Kommunikationsprotokollen mit hierarchischen High-Level-Netzen
Berichte aus der Informatik
Als Ms. gedr, 1995
Signatur: TWP6472
    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
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 : basic concepts, analysis methods and practical use
Monographs in theoretical computer science: an EATCS series
1992-
Signatur: TVG1392-...
    Datensatz exportieren als...
  • BibTeX
Erweiterung von Petri-Netzen für den Einsatz in der Wissensverarbeitung
1995
Signatur: D11427
    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
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
Lectures on Petri nets : advances in Petri nets
Lecture notes in computer science : ...
1998-
    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
Hardware design and Petri nets
2000
Signatur: TWH2698
    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
Elements of distributed algorithms : modeling and analysis with Petri nets
1998
Signatur: TVG1512
    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
Concurrency and nets : advances in Petri nets
1987
Signatur: TTQP1004
    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
Performance of communication systems : a model based approach with matrix geometric methods
Engineering online library
2001
Signatur: YCB6150
    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
The control of parallel computations by labeled Petri nets : a study in terms of multiple firing automata and parallel program schemata
1979
Signatur: DQ202
1 – 25 von 73
Suche als RSS-Feed
Aktive Filter
Neu hinzugefügt... in den letzten 3 Monaten
Neu hinzugefügt... in den letzten 12 Monaten
SpracheDeutsch
Suchergebnisse filtern
Filter anzeigen