Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

A Method to Prove Non-Reachability in Priority Duration Petri Nets.

M. Werner, L. Popova-Zeugmann, and J. Richling. 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.

Tim Janz University of Stuttgart

PD Dr. phil. Frank Janle University of Stuttgart

Benedikt Janny

Isabel Janowsky University of Stuttgart

Hon. -Prof. Dr. Martin Jansen University of Stuttgart

Other publications of authors with the same name

Towards Energy-Aware Multi-Core Scheduling.J. Richling, J. Schönherr, G. Mühl, and M. Werner. Praxis der Informationsverarbeitung und Kommunikation, 32 (2): 88-95 (2009)Dataset Management-Aware Software Architecture for Storage Systems Based on SSDs.N. Jeremic, G. Mühl, A. Busse, and J. Richling. NAS, page 288-292. IEEE Computer Society, (2012)Operating system support for distributed applications in real space-time.M. Werner, D. Müller, M. Däumler, J. Richling, and G. Mühl. CSTST, page 469-478. ACM, (2008)Design and Implementation of the Rebeca Publish/Subscribe Middleware.H. Parzyjegla, D. Graff, A. Schröter, J. Richling, and G. Mühl. From Active Data Management to Event-Based Systems and More, volume 6462 of Lecture Notes in Computer Science, page 124-140. Springer, (2010)Self-optimizing Hybrid Routing in Publish/Subscribe Systems.A. Schröter, D. Graff, G. Mühl, J. Richling, and H. Parzyjegla. DSOM, volume 5841 of Lecture Notes in Computer Science, page 111-122. Springer, (2009)Towards predictable CORBA-based services.A. Polze, J. Richling, J. Schwarz, and M. Malek. Comput. Syst. Sci. Eng., 16 (2): 135-147 (2001)Lightweight Services for Embedded Systems.N. Milanovic, J. Richling, and M. Malek. WSTFEUS, page 40-44. IEEE Computer Society, (2004)Context-Aware Annotations for Distributed Mobile Applications.D. Graff, J. Richling, T. Stupp, and M. Werner. ARCS Workshops, VDE-Verlag, (2011)Model-Driven Development of Self-organising Control Applications.H. Parzyjegla, A. Schröter, E. Seib, S. Holzapfel, M. Wander, J. Richling, A. Wacker, H. Heiß, G. Mühl, and T. Weis. Organic Computing, Springer, (2011)Towards Predictable CORBA-Based Web-Services.A. Polze, J. Richling, J. Schwarz, and M. Malek. ISORC, page 182-. IEEE Computer Society, (1999)

PUMA

Disambiguation of "Richling, Jan"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

A Method to Prove Non-Reachability in Priority Duration Petri Nets.

Please choose a person to relate this publication to

Tim Janz University of Stuttgart

PD Dr. phil. Frank Janle University of Stuttgart

Benedikt Janny

Isabel Janowsky University of Stuttgart

Hon. -Prof. Dr. Martin Jansen University of Stuttgart

Other publications of authors with the same name

Disambiguation

PUMA

Disambiguation of "Richling, Jan"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML A Method to Prove Non-Reachability in Priority Duration Petri Nets.

Please choose a person to relate this publication to

Tim Janz University of Stuttgart

PD Dr. phil. Frank Janle University of Stuttgart

Benedikt Janny

Isabel Janowsky University of Stuttgart

Hon. -Prof. Dr. Martin Jansen University of Stuttgart

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

A Method to Prove Non-Reachability in Priority Duration Petri Nets.