Sortiert nach
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...
    Datensatz exportieren als...
  • BibTeX
Applications and Theory of Petri Nets 2003 : 24th International Conference, ICATPN 2003 Eindhoven, The Netherlands, June 23–27, 2003 Proceedings [Elektronische Ressource]
2003
    Datensatz exportieren als...
  • BibTeX
Petri-Netze für Ingenieure : Modellbildung und Analyse diskret gesteuerter Systeme
1990
Signatur: TVG1384
    Datensatz exportieren als...
  • BibTeX
Concurrent Object-Oriented Programming and Petri Nets : Advances in Petri Nets [Elektronische Ressource]
2001
    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
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
Synchronization and linearity : an algebra for discrete event systems
Wiley series in probability and mathematical statistics : Probability and mathematical statistics
1992
Signatur: TZC2988
    Datensatz exportieren als...
  • BibTeX
Petri-Netze : Grundlagen und Anwendungen
Hochschultaschenbuch
2. Aufl, 1996
Signatur: TVG1318(2)
    Datensatz exportieren als...
  • BibTeX
Stochastic Petri nets : an introduction to the theory
2. ed, 2002
Signatur: TVG1732(2)
    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
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
Kausale Semantik nichtsequentieller Programme
GMD-Bericht : 174 (Alle Bände)
1989
Signatur: TUF1018-174
    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
Application of Petri Nets to Communication Networks : Advances in Petri Nets [Elektronische Ressource]
1999
    Datensatz exportieren als...
  • BibTeX
Formal and Natural Computing : Essays Dedicated to Grzegorz Rozenberg [Elektronische Ressource]
2002
    Datensatz exportieren als...
  • BibTeX
Bewertung produktionsstrategischer Handlungsalternativen : eine Analyse dynamischen Prozessverhaltens mittels Petri-Netz-Theorie
Gabler Edition Wissenschaft : Schriften zum Produktionsmanagement
1999
Signatur: QAY3773
    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
Formal Modeling and Analysis of Timed Systems : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings [Elektronische Ressource]
2008
    Datensatz exportieren als...
  • BibTeX
Applications and Theory of Petri Nets 2005 : 26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings [Elektronische Ressource]
2005
    Datensatz exportieren als...
  • BibTeX
Application and Theory of Petri Nets and Concurrency : 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings [Elektronische Ressource]
2014
    Datensatz exportieren als...
  • BibTeX
Applications and Theory of Petri Nets 2001 : 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25–29, 2001 Proceedings [Elektronische Ressource]
2001
    Datensatz exportieren als...
  • BibTeX
Application and Theory of Petri Nets and Concurrency : 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings [Elektronische Ressource]
2013
    Datensatz exportieren als...
  • BibTeX
Applications and Theory of Petri Nets 2004 : 25th International Conference, ICATPN 2004, Bologna, Italy, June 21–25, 2004. Proceedings [Elektronische Ressource]
2004
    Datensatz exportieren als...
  • BibTeX
Concurrency and Hardware Design : Advances in Petri Nets [Elektronische Ressource]
2002
    Datensatz exportieren als...
  • BibTeX
Integration of Software Specification Techniques for Applications in Engineering : Priority Program SoftSpez of the German Research Foundation (DFG), Final Report [Elektronische Ressource]
2004
    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
1 – 25 von 110
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen