Global ETD Search

31	Modellierung und Simulation von Transportproblemen auf der Basis von Korrelationsfunktionen und farbigen Petrinetzen Fiedler, Claudia January 2009 (has links) Zugl.: Hamburg, Techn. Univ., Diss., 2009
32	Entwicklung eines personenzentrierten Simulationsmodells zur Unterstützung des Multiprojektmanagements in der Produktentwicklung / Licht, Torsten. January 2008 (has links) Zugl.: Aachen, Techn. Hochsch., Diss., 2007.
33	Die Evolution von Modellierungssprachen / Patig, Susanne. January 2006 (has links) Zugl.: Magdeburg, Universiẗat, Habil.-Schr., 2005.
34	Process landscaping eine Methode zur Modellierung und Analyse verteilter Softwareprozesse / Wellen, Ursula. Unknown Date (has links) (PDF) Universiẗat, Diss., 2003--Dortmund.
35	Symbolische LTL-Verifikation von Petrinetzen Spranger, Jochen. Unknown Date (has links) (PDF) Brandenburgische Techn. Universiẗat, Diss., 2001--Cottbus.
36	A methodology for workflow modeling from business process modeling towards sound workflow specification / Dehnert, Juliane. Unknown Date (has links) (PDF) Techn. University, Diss., 2003--Berlin.
37	Formale Verifikation digitaler Systeme mit Petrinetzen Schober, Torsten. Unknown Date (has links) (PDF) Universiẗat, Diss., 2003--Jena.
38	Verteilende Verfeinerung Entwurf und Verifikation verteilter Algorithmen mit Petrinetzen Wu, Bixia January 2007 (has links) Zugl.: Berlin, Humboldt-Univ., Diss., 2007 u.d.T.: Entwurf und Verifikation von Petrinetzmodellen verteilter Algorithmen durch Verfeinerung unverteilter Algorithmen
39	XNet, ein echtzeitfähiges Ausführungsmodell für Petri-Netz-basierte Komponentenbeschreibungen in der Steuerungstechnik Hagge, Nils Heinrich January 1978 (has links) Zugl.: Hannover, Univ., (1978-), Diss., 2006
40	Operating guidelines for services / Massuthe, Peter. January 2009 (has links) Zugl.: Berlin, Humboldt-University und Eindhoven, Techn. University, Diss., 2009.

Search results