PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Werner, Matthias"

Author of the publication

copydeleteadd this publication to your clipboard
A Method to Prove Non-Reachability in Priority Duration Petri Nets.

, , and . Fundam. Inform., 61 (3-4): 351-368 (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Andreas Werner University of Stuttgart

Hon. -Prof. Werner Pollmann University of Stuttgart

Univ. -Prof. Dr. Hans-Joachim Werner University of Stuttgart

Werner Sobek

apl. Prof. Dr. Werner Haas University of Stuttgart

 

Other publications of authors with the same name

An Application of the (max, +) Algebra to Information Flow Security., , and . ICN, page 262-266. IEEE Computer Society, (2008)A State Equation for Petri Nets with Delaying Places., and . ECBS, page 501-502. IEEE Computer Society, (2006)Optimierung der Code-Generierung virtualisierender Ausführungsumgebungen zur Erzielung deterministischer Ausführungszeiten zur Erzielung deterministischer Ausführungszeiten., and . Echtzeit, page 29-38. Springer, (2012)Extreme Runtimes of Schedules Modelled by Time Petri Nets., and . Fundam. Inform., 67 (1-3): 163-174 (2005)Modeling Group Scheduling Problems in Space and Time by Timed Petri Nets., , and . Fundam. Inform., 122 (4): 297-313 (2013)Non-reachability in Petri Nets with Delaying Places., and . MASCOTS, page 401-412. IEEE Computer Society, (2006)Event-driven processor power management., , , and . e-Energy, page 61-70. ACM, (2010)A Holistic State Equation for Timed Petri Nets., , , and . CS&P, volume 1032 of CEUR Workshop Proceedings, page 448-456. CEUR-WS.org, (2013)Considering Concurrency in Early Spacecraft Design Studies., , and . CS&P, volume 1492 of CEUR Workshop Proceedings, page 22-30. CEUR-WS.org, (2015)Help-Seeking in Communities of Practice: Design and Evaluation of a Help System Supporting Knowledge Sharing., , and . EC-TEL, volume 6964 of Lecture Notes in Computer Science, page 471-476. Springer, (2011)