Zum Inhalt springen

Jensen, Kurt [VerfasserIn]; Kristensen, Lars M. [VerfasserIn]

Coloured petri nets : modelling and validation of concurrent systems

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg: Springer, 2009
Haas, Peter J. [VerfasserIn]

Stochastic Petri nets : modelling, stability, simulation

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

New York; Berlin; Heidelberg; Barcelona; Hong Kong; London; Milan; Paris; Singapore; Tokyo: Springer, 2002

Erschienen in: Springer series in operations research
Wang, Jiacun [VerfasserIn]

Timed Petri nets : theory and application

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Boston [u.a.]: Kluwer, 1998

Erschienen in: The Kluwer international series on discrete event dynamic systems ; 9
Rosenstengel, Bernd [VerfasserIn]; Winand, Udo [VerfasserIn]

Petri-Netze : eine anwendungsorientierte Einführung - [4., verb. und erw. Aufl.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Braunschweig [u.a.]: Vieweg, 1991

Erschienen in: Programm angewandte Informatik
Baumgarten, Bernd [VerfasserIn]

Petri-Netze : Grundlagen und Anwendungen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Mannheim; Wien; Zürich: BI-Wiss.-Verl., 1990
Zuse, Konrad [VerfasserIn]

Petri-Netze aus der Sicht des Ingenieurs

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Braunschweig [u.a.]: Vieweg, 1980
Ehrig, Hartmut [HerausgeberIn]

Unifying Petri nets : advances in Petri nets

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2001

Erschienen in: Lecture notes in computer science ; 2128
Jensen, Kurt [HerausgeberIn]; Rozenberg, Grzegorz [Sonstige Person, Familie und Körperschaft]

High-level Petri nets : theory and application

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1991
Hanisch, Hans-Michael [VerfasserIn]

Petri-Netze in der Verfahrenstechnik : Modellierung und Steuerung verfahrenstechnischer Systeme ; mit 35 Tabellen und 81 Beispielen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

München; Wien: Oldenbourg, 1992
Rozenberg, Grzegorz [HerausgeberIn] ; International Conference on Applications and Theory of Petri Nets 12 1991 Gjern

Advances in Petri nets 1993 : APN 93

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1993

Erschienen in: Lecture notes in computer science ; 674
Sánchez, Beatriz [VerfasserIn]

Some monotonicity results for stochastic petri nets

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Hildesheim: Univ., Inst. für Informatik, 1992

Erschienen in: Hildesheimer Informatik-Berichte ; 199207
Leskin, Aleksej A. [VerfasserIn]; Mal'cev, Pavel A. [VerfasserIn]; Spiridonov, Aleksandr M. [VerfasserIn] ; Leskin, Alekseĭ Alekseevich [Sonstige Person, Familie und Körperschaft]; Malʹt︠s︡ev, Pavel Avgustovich [Sonstige Person, Familie und Körperschaft]; Spiridonov, Aleksandr Mikhaĭlovich [Sonstige Person, Familie und Körperschaft]; Ponomarev, Valentin Mikhaĭlovich [Sonstige Person, Familie und Körperschaft]

Seti Petri v modelirovanii i upravlenii

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Leningrad: Nauka," Leningradskoe otd-nie, 1989
Bause, Falko [VerfasserIn]; Kritzinger, Pieter S. [VerfasserIn]

Stochastic Petri nets : an introduction to the theory

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Braunschweig; Wiesbaden: Vieweg, [1996]

Erschienen in: Advanced studies in computer science
Jensen, Kurt [VerfasserIn]

Coloured Petri nets / 3

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg: Springer, 1997

Erschienen in: Coloured Petri nets / Kurt Jensen ; 3
Jensen, Kurt [VerfasserIn]

Coloured Petri nets / 1, 2. ed., 2. corr. pr

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg: Springer, 1997

Erschienen in: Coloured Petri nets / Kurt Jensen ; 1,2,2
Jensen, Kurt [VerfasserIn]

Coloured Petri nets / 2, Basic concepts, analysis methods and practical use

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg: Springer, 1997

Erschienen in: Coloured Petri nets / Kurt Jensen ; 2,2
Jensen, Kurt [VerfasserIn]

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 19XX-

Erschienen in: EATCS monographs on theoretical computer science- Monographs in theoretical computer science
Reisig, Wolfgang [VerfasserIn]

A primer in Petri net design

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1992

Erschienen in: Springer compass international
Starke, Peter H. [VerfasserIn]

Analyse von Petri-Netz-Modellen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Stuttgart: Teubner, 1990

Erschienen in: Leitfäden und Monographien der Informatik
Abel, Dirk [VerfasserIn]

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1990

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr