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
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
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
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
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
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
Performance of communication systems : a model based approach with matrix geometric methods
Engineering online library
2001
Signatur: YCB6150
    Datensatz exportieren als...
  • BibTeX
Modelling with generalized stochastic Petri nets
Wiley series in parallel computing
1995
Signatur: TVG1465
    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
Time and Petri Nets [Elektronische Ressource]
2013
    Datensatz exportieren als...
  • BibTeX
Coloured Petri Nets : Modelling and Validation of Concurrent Systems [Elektronische Ressource]
2009
    Datensatz exportieren als...
  • BibTeX
Formal Methods for the Design of Real-Time Systems : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures [Elektronische Ressource]
2004
    Datensatz exportieren als...
  • BibTeX
Formal Modeling and Analysis of Timed Systems : First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers [Elektronische Ressource]
2004
    Datensatz exportieren als...
  • BibTeX
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems : Joint International Conferences on Formal Modeling and Analysis of Timed Systmes, FORMATS 2004, and Formal Techniques in Real-Time and Fault -Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004. Proceedings [Elektronische Ressource]
2004
    Datensatz exportieren als...
  • BibTeX
Formal Modeling and Analysis of Timed Systems (vol. # 3829) : Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings [Elektronische Ressource]
2005
    Datensatz exportieren als...
  • BibTeX
Formal Modeling and Analysis of Timed Systems (vol. # 4202) : 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings [Elektronische Ressource]
2006
    Datensatz exportieren als...
  • BibTeX
Formal Modeling and Analysis of Timed Systems : 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings [Elektronische Ressource]
2007
    Datensatz exportieren als...
  • BibTeX
Modeling Time in Computing [Elektronische Ressource]
Monographs in Theoretical Computer Science. An EATCS Series
2012
    Datensatz exportieren als...
  • BibTeX
Formal Modeling and Analysis of Timed Systems : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings [Elektronische Ressource]
2008
1 – 19 von 19
Suche als RSS-Feed
Aktive Filter
SchlagwortPetri-Netz
Suchergebnisse filtern
Filter anzeigen