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
Petri nets: fundamental models, verification, and applications
1, 2010
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Digital home networking
1, 2013
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Communicating Systems with UML 2: Modeling and Analysis of Network Protocols
2011
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Communicating systems with UML2: modeling and analysis of network protocols
2013
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Communicating systems with UML 2: modeling and analysis of network protocols
2011
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Part 2: Verification and Application of Petri Nets
Petri Nets, 2013
2013
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Conclusion
Petri Nets, 2013
2013
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Intro
Petri Nets, 2013
2013
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Part 1: Fundamental Models
Petri Nets, 2013
2013
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
List of Authors
Petri Nets, 2013
2013
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Introduction
Petri Nets, 2013
2013
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Decidability and Complexity of Petri Net Problems
Petri Nets, 2009, p.87-122
2009
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Performance Evaluation in Manufacturing Systems
Petri Nets, 2009, p.527-575
2009
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Petri Nets and Linear Logic
Petri Nets, 2009, p.481-500
2009
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Modeling of Multimedia Architectures: The Case of Videoconferencing with Guaranteed Quality of Service
Petri Nets, 2009, p.501-525
2009
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Stochastic Well‐formed Petri Nets
Petri Nets, 2009, p.303-320
2009
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
High Level Petri Nets
Petri Nets, 2009, p.185-220
2009
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Hierarchical Time Stream Petri Nets
Petri Nets, 2009, p.461-479
2009
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Tensor Methods and Stochastic Petri Nets
Petri Nets, 2009, p.321-346
2009
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Temporal Composition and Time Stream Petri Nets
Petri Nets, 2009, p.163-183
2009
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Verification of Specific Properties
Petri Nets, 2009, p.347-414
2009
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Symmetry and Temporal Logic
Petri Nets, 2009, Vol.2, p.435-460
2009
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Time Petri Nets
Petri Nets, 2009, p.123-161
2009
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Petri Net Unfoldings — Properties
Petri Nets, 2009, p.415-434
2009
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Analysis Methods for Petri Nets
Petri Nets, 2009, p.41-86
2009
Link zum Volltext
Verfügbarkeit prüfen
1 – 25 von 62
Suche als RSS-Feed
Aktive Filter
KollektionWiley-Blackwell Online Books - All Titles (includes Withdrawn titles)
Suchergebnisse filtern
Filter anzeigen