Author of the publication

On Weighted T-Systems.

, , , and . Application and Theory of Petri Nets, volume 616 of Lecture Notes in Computer Science, page 348-367. Springer, (1992)

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.

 

Other publications of authors with the same name

Some Improvements to the Banker s Algorithm Based on the Process Structure., , and . ICRA, page 2853-2858. IEEE, (2000)On the deadlock analysis of multithreaded control software., and . ETFA, page 1-8. IEEE, (2011)A Banker's solution for deadlock avoidance in FMS with flexible routing and multiresource states., , , and . IEEE Trans. Robotics and Automation, 18 (4): 621-625 (2002)Analyzing Phylogenetic Trees with Timed and Probabilistic Model Checking: The Lactose Persistence Case Study., and . J. Integrative Bioinformatics, (2014)A Petri Net Perspective on the Resource Allocation Problem in Software Engineering., and . Trans. Petri Nets and Other Models of Concurrency, (2012)Computing Minimal Siphons in Petri Net Models of Resource Allocation Systems: An Evolutionary Approach., , and . PNSE @ Petri Nets, volume 1160 of CEUR Workshop Proceedings, page 307-322. CEUR-WS.org, (2014)Modelling and Analysis of Deterministic Concurrent Systems with Bulk Services and Arrivals., , and . Decentralized and Distributed Systems, volume A-39 of IFIP Transactions, page 213-224. North-Holland, (1993)Choice-free Petri nets: a model for deterministic concurrent systems with bulk services and arrivals., , and . IEEE Trans. Systems, Man, and Cybernetics, Part A, 27 (1): 73-83 (1997)Petri Nets applied to the modelling and analysis of computer architecture problems., and . Microprocessing and Microprogramming, 38 (1-5): 1-11 (1993)The Resource Allocation Problem in Software Applications: A Petri Net Perspective., and . ACSD/Petri Nets Workshops, volume 827 of CEUR Workshop Proceedings, page 219-233. CEUR-WS.org, (2010)