UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 59

Sortiert nach

Coloured Petri nets : basic concepts, analysis methods and practical use. 1

Coloured Petri nets (Alle Bände)

Jensen, Kurt

1992

Signatur: TVG1392-1

Programmierung einer Klasse von Multiprozessorsystemen mit höheren Petri-Netzen

Hochschultexte Informatik : 3 (Alle Bände)

Hartung, Carl Georg

1988

Signatur: TVG1245

Organisationsplanung mit Petri-Netzen : ein integrativ-methodisches Konzept zur Simulation von Organisationsstrukturen

Betriebsinformatik - Beiträge aus Forschung und Praxis : 6 (Alle Bände)

Schmidt, Christian

1992

Signatur: PZV10558

Nonsequential processes : a Petri net view

EATCS monographs on theoretical computer science : 13 (Alle Bände)

1988

Signatur: TVG1237

Direkte und indirekte Wirkungen rechnergestützter Fertigungssysteme : formalisierte Netzstrukturen zur Darstellung und Analyse der Unternehmung

Beiträge zur Wirtschaftsinformatik : 15 (Alle Bände)

Reuter, Bärbel

1995

Signatur: QBB7001

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)

Desel, Jörg[Herausgeber]

2002

Signatur: TTQ022362

Nets, terms and formulas : three views of concurrent processes and their relationship

Cambridge tracts in theoretical computer science : 23 (Alle Bände)

Olderog, Ernst-Rüdiger

1991

Signatur: TVG1368

Petrinetze, lineare Algebra und lineare Programmierung : Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen

Teubner-Texte zur Informatik : 26 (Alle Bände)

Desel, Jörg

1998

Signatur: TVA2704

Simulation und Analyse von Steuerungssystemen auf der Basis von Petri-Netzen

Schriftenreihe des Lehrstuhls für Regelungssysteme und Steuerungstechnik : 44 (Alle Bände)

Greim, Thomas

1994

Signatur: DQ1816

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)

Haverkort, Boudewijn R[Herausgeber]

2001

Signatur: 64p2

Petri-Netz-Methoden und -Werkzeuge : Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen

Informatik-Fachberichte : 197 (Alle Bände)

1989

Signatur: TVG1261

Modelling, analysis, and design of hybrid systems

Lecture notes in control and information sciences : 279 (Alle Bände), Engineering online library

Engell, Sebastian[Herausgeber]

2002

Signatur: TWG7596

Dynamic analysis of Petri net-based discrete systems

Lecture notes in control and information sciences : 356 (Alle Bände)

Karatkevich, Andrei

2007

Signatur: TVG1651

Proceedings of the Fifth International Workshop on Petri Nets and Performance Models : Toulouse, France, October 19 - 22, 1993

International Workshop on Petri Nets and Performance Models

1993

Signatur: XVI931002

Systementwurf mit Netzen

Springer compass

Reisig, Wolfgang

1985

Signatur: TVG1198

Petri-Netze in der Steuerungs- und Digitaltechnik

1988

Signatur: TVG1279

Petri-Netze für Ingenieure : Modellbildung und Analyse diskret gesteuerter Systeme

Abel, Dirk

1990

Signatur: TVG1384

Petri-Netze in der Steuerungstechnik

1. Aufl, 1988

Signatur: TVG1300

Modeling Time in Computing [Elektronische Ressource]

Monographs in Theoretical Computer Science. An EATCS Series

2012

Link zum Volltext
Springer Computer Science (inkl. Lecture Notes in Computer Science) 2012 (ZDB-2-SCS)

Entwurfsbegleitende Leistungsanalyse mit UML, MARTE und Generalisierten Netzen

Koycheva, Evelina

[2014]

Link zum Volltext
De Gruyter E-Books EBA bis 31.12.2026 (ZDB-23-DGG-eba)

Verfahren für den Entwurf heterogener paralleler Algorithmen

Reske, Andreas

1995

Signatur: D11437

Theorie und Anwendung constraintbasierter Planungsverfahren

Berichte aus der Informatik

Pontow, Stephan

Als Ms. gedr, 2000

Signatur: M25246

A structuring mechanism for Petri nets

Kiehn, Astrid

1989

Signatur: D483

Coloured Petri nets : basic concepts, analysis methods and practical use

Monographs in theoretical computer science: an EATCS series

Jensen, Kurt

1992-

Signatur: TVG1392-...

Application and Theory of Petri Nets 1997 : 18th International Conference, ICATPN'97 Toulouse, France, June 23–27, 1997 Proceedings [Elektronische Ressource]

1997

Link zum Volltext
Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)

1 – 25 von 59

Suche als RSS-Feed

Aktive Filter

SystemstelleTUF

SchlagwortSoftware engineering

SchlagwortStochastisches Petri-Netz

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Gedruckt
(49)
Online-Ressource
(10)

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(59)

Schlagwort

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Deutsch
(29)
Englisch
(24)

Systemstelle

TVG
(31)
TVV
(2)
64
(1)
PZV
(1)
QAY
(1)
QBB
(1)
TTQ
(1)
TTQP
(1)
TVA
(1)
TVI
(1)
TVM
(1)
TVX
(1)
TWB
(1)
TWG
(1)
TWH
(1)
TWP
(1)
TWT
(1)
TWY
(1)
TZC
(1)
WFM
(1)

15 weitere anzeigen...

Weniger anzeigen...

Art des Inhalts

Menü

Weitere Dienste

Einstellungen

Coloured Petri nets : basic concepts, analysis methods and practical use. 1

Programmierung einer Klasse von Multiprozessorsystemen mit höheren Petri-Netzen

Organisationsplanung mit Petri-Netzen : ein integrativ-methodisches Konzept zur Simulation von Organisationsstrukturen

Nonsequential processes : a Petri net view

Direkte und indirekte Wirkungen rechnergestützter Fertigungssysteme : formalisierte Netzstrukturen zur Darstellung und Analyse der Unternehmung

Nets, terms and formulas : three views of concurrent processes and their relationship

Petrinetze, lineare Algebra und lineare Programmierung : Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen

Simulation und Analyse von Steuerungssystemen auf der Basis von Petri-Netzen

Petri-Netz-Methoden und -Werkzeuge : Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen

Modelling, analysis, and design of hybrid systems

Dynamic analysis of Petri net-based discrete systems

Proceedings of the Fifth International Workshop on Petri Nets and Performance Models : Toulouse, France, October 19 - 22, 1993

Systementwurf mit Netzen

Petri-Netze in der Steuerungs- und Digitaltechnik

Petri-Netze für Ingenieure : Modellbildung und Analyse diskret gesteuerter Systeme

Petri-Netze in der Steuerungstechnik

Modeling Time in Computing [Elektronische Ressource]

Entwurfsbegleitende Leistungsanalyse mit UML, MARTE und Generalisierten Netzen

Verfahren für den Entwurf heterogener paralleler Algorithmen

Theorie und Anwendung constraintbasierter Planungsverfahren

A structuring mechanism for Petri nets

Coloured Petri nets : basic concepts, analysis methods and practical use

Application and Theory of Petri Nets 1997 : 18th International Conference, ICATPN'97 Toulouse, France, June 23–27, 1997 Proceedings [Elektronische Ressource]

Aktive Filter

Suchergebnisse filtern