Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Buchmuseum

Suchformular zurücksetzen

Expertensuche ?

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

Noch nicht die passende Literatur gefunden? → Book a Librarian

Ergebnis der Suche nach: tit all "Time and Petri Nets."
im Bestand: Gesamter Bestand

1 - 10 von 17

	1	Statistical model checking and time-bounded reachability analysis for hybrid petri nets with multiple stochastic variables Pilch, Carina. - Münster, 2021
	2	Interpreted synchronous extension of time Petri nets Enthalten in Discrete event dynamic systems 8.9.2021: 1-38
	3	Decentralized state estimation and diagnosis of p-time labeled Petri nets systems Enthalten in Discrete event dynamic systems 19.9.2020: 1-26
	4	Nested Petri nets: behavioural analysis and time semantics Dvorianskii, Leonid. - Berlin, [2018]
	5	Life Time Distributions Via Petri Nets and State Graphs Schneeweiss, Winfrid G.. - Hagen : FernUniversität in Hagen, 2017
	6	Time and Petri Nets Popova-Zeugmann, Louchka. - Berlin : Springer Berlin, 2016, Softcover reprint of the original 1st ed. 2013	Verlagsinformation
	7	Time and Petri nets Popova-Zeugmann, Louchka. - Heidelberg : Springer, 2013
	8	Time and Petri Nets Berlin, Heidelberg : Springer Berlin Heidelberg, 2013, Aufl. 2013
	9	Advances in verification of time Petri nets and timed automata Penczek, Wojciech. - Berlin : Springer, 2006
	10	Minimizing cycle time and group scheduling, using Petri nets a study of heuristic methods Enthalten in Journal of intelligent manufacturing Bd. 14, Nr. 1, date:2.2003: 107-121

1 - 10 von 17

Alle Materialarten

Alle Kataloge/Sammlungen

Hochschulschriften (3)

Alle Standorte

Aktionen