Publications related to TimeNET

Some of the listed publications contain background information, some describe applications, others are tool descriptions, while some cover current activities which might lead to future tool extensions. For more recent lists of downloadable papers please refer also to the web pages of the active developers of TimeNET.

Tool descriptions

• Zimmermann, A.; Freiheit, J.; German, R. Hommel, G.: Petri Net Modelling and Performability Evaluation with TimeNET 3.0. 11th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation (TOOLS'2000), LNCS 1786, pp. 188-202, ISBN 3-540-67260-5, Springer-Verlag, Schaumburg, Illinois, USA, 2000
 
• Zimmermann, A.; German, R.; Freiheit, J.; Hommel, G.: TimeNET 3.0 Tool Description. Int. Conf. on Petri Nets and Performance Models (PNPM'99), Zaragoza, Spanien, 1999
 
• Zimmermann, A.; Freiheit, J.: TimeNetMS - An Integrated Modeling and Performance Evalution Tool for Manufacturing System. IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC 98), pp. 535-540, IEEE, San Diego/USA, 1998
 
• Zimmermann, A.; German, R.; Kelling, Ch.; Hommel, G.; Zijal, R.: TimeNET 2.0- ein Werkzeug zur Modellierung mit zeiterweiterten Petri-Netzen. 5.Konferenz Entwurf komplexer Automatisierungssysteme, pp. 733, Braunschweig, 1997
 
• Kelling, Ch.; German, R.; Zimmermann, A.; Hommel, G.: TimeNET - ein Werkzeug zur Modellierung mit zeiterweiterten Petri-Netzen. Informationstechnik und Technische Informatik (it+ti), Heft 3, pp. 21-27, Oldenbourg-Verlag, München, 1995
 
• German, R.; Kelling, Ch.; Zimmermann, A.; Hommel, G.: TimeNET - A Toolkit for Evaluating Stochastic Petri Nets with Non-Exponential Firing Times. Journal of Performance Evaluation, Elsevier, Netherlands, 1995

Analysis techniques, applications, and future extensions

• A. Zimmermann, J. Freiheit, and G. Hommel: Discrete Time Stochastic Petri Nets for Modeling and Evaluation of Real-Time Systems. Int. Workshop on Parallel and Distributed Real-Time Systems, San Francisco, April 23-24, 2001.
   
• German, R.: Markov Regenerative Stochastic Petri Nets with General Execution Policies. Supplementary Variable Analysis and a Prototype Tool. Journal of Performance Evaluation, Heft 39, pp. 165-188, Elsevier, 2000


• Zimmermann, A.: Colored Petri Net Modeling, Evaluation, and Control of a Manufacturing Cell. Proc. Int. Workshop "Advanced Robotics and its Applications 2000", pp. 49-54, Shanghai, China, 2000
 
• Zimmermann, A.; Freiheit, J.; Huck, A.: A Petri net based design engine for manufacturing systems. Int. Journal of Production Research vol. 39, no. 2, pp. 225-253 (special issue on Modeling, Specification and Analysis of Manufacturing Systems)
 
• Zimmermann, A.; Rodriguez, D.; Silva, M.: A Two Phase Optimisation Strategy for DEDS: Application to a Manufacturing System. 5th Workshop on Discrete Event Systems ( WODES'2000), pp. 291-298, Kluwer Academic Publishers, Ghent, Belgium, 2000
 
• Dehnert, J.; Freiheit, J.; Zimmermann, A.: Modeling and Performance Evalution of Workflow Systems. 4th World Multiconference on Systemics, Cybernetics and Informatics (SCI'2000), (accepted for publication), Band VIII, pp. 695-700, ISBN 980-07-6694-4, IIIS, Orlando, USA, 2000
 
• Zimmermann, A.; Freiheit, J.: Tool Support for Model-Based Online Control of Manufacturing Systems. 4th World Multiconference on Systemics, Cybernetics and Informatics (SCI'2000), Band VIII, pp. 695-700, ISBN 980-07-6694-4, Int. Institut of Informatics and Systemics, Orlando, USA, 2000
 
• Huck, A.; Freiheit, J.; Zimmermann, A.: Convex Geometry Applied to Petri Nets: State Space Size Estimation and Calculation of Traps, and Invariants. Forschungsbericht des Fachbereichs Informatik, Heft 2000-6, 20 Seiten, Technische Universität Berlin, 2000
 
• Dehnert, J.; Freiheit, J.; Zimmermann, A.: Workflow Modeling and Performance Evalution with Colored Stochastic Petri Nets. AAAI Spring Symposium- Bringing Knowledge to Business Processes (AAAI Spring Symp.2000), pp. 139-141, Stanford, USA, 2000
 
• German, R.: Iterative Analysis of Markov Regenerative Models. Computer Performance Evaluation, Modelling Techniques and Tools, 11th Int. Conf., pp. 156-170, Springer LNCS 1786, Chicago, IL, 2000
   
• Heindl, A.: Decomposition of General Tandem Queueing Networks with MMPP Input and Finite Buffers based on SMPs and MMPPs. 4th International Workshop on Queueing Networks, England, 2000
 
• German, R.: Performance Analysis of Communication Systems, Modeling with Non-Markovian Stochastic Petri Nets. 438 Seiten, ISBN 0-471-49-49258-2, John Wiley and Sons, 2000
 
• Wolter, K.; Zisowsky, A.: On Markov Reward Modelling with FSPNs. Proc. Fourth Int. Computer Performance and Dependability Symposium (IPDS 2000), pp. 3-12, ISBN 0-7695-0553-8, IEEE, Chicago, USA, 2000
 
• Heindl, A.; German, R.: The Impact of Backoff, EIFS, and Beacons on the Performance of IEEE 802.11 Wireless LANs. Proc. IEEE Int. Computer Performance and Dependability Symposium (IPDS 2000), pp. 103-112, ISBN 0-7695-0553-8, IEEE, Chicago, USA, 2000
 
• Heindl, A.: Decomposition of General Tandem Queueing Networks with MMPP Input. Proc. 9th Int. Conf. on Modelling techniques and Tools for Computer Performance Evaluation (TOOLS 2000), pp. 86-100, ISBN 3-540-67260-5, Springer Verlag, Chicago, USA, 2000
 
• Hommel, G.; Zimmermann, A.; Freiheit, J.: Modellierungstechniken für Fertigungssysteme auf der Grundlage von Petri- Netzen. Bericht der Arbeitsgruppe "Fuzzy- Petri- Netze" im DFG- Schwerpunktprogramm "Modellierung der Produktion" Forschungsbericht 2000-1, Heft 1, 57 Seiten, Technische Universität Berlin, Berlin, 2000
 
• Wolter, K.: Jump Transitions in Second Order FSPNs. Proc. 7th Int. Symp. On Modelling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS'99), pp. 156-163, Washington DC, USA, 1999
 
• Wolter, K.: Performance and Dependability Modelling with Second Order Fluid Stochastic Petri Nets, PhD Thesis. Technische Universität Berlin, Published by Shaker Verlag Aachen, 1999
 
• Wolter, K.; Zisowsky, A.: On Markov Reward Modelling with Second Order FSPNs. Proc.15th annual UK Performance Engineering Workshop, pp. 167-177, J. T. Bradley and N. J. Davies (TR CSTR-99-007), Bristol, 1999
 
• Zimmermann, A.; Westphal, H.; Gramlich, S.: Colored Petri Nets for the Performance Evaluation of a Semiconductor Fabrication Facility. 7th Int. IEEE Conf. on Emerging Technologies and Factory Automation (ETFA'99), pp. 1071-1080, Barcelona, 1999
   
• German, R.: Markov Regenerative Stochastic Petri Nets with General Execution Policies: Supplementary Variable Analysis and a Prototype Tool. Performance Evaluation, North- Holland, 1999
 
• R; German: Analysis of Non- Markovian Stochastic Petri Nets. Tutorial- Proc. Multi- Workshop on Formal Methods in Performance Eveluation and Applications, Zaragoza, Spanien, 1999
 
• Heindl, A.; German, R.: A Fourth- Order Algorithm with Automatic Stepsize Control for the Transient Analysis of DSPNs. IEEE Transactions on Software Engineering, pp. 194-206, 1999
 
• German, R.: Efficient numerical solutions of Markov regenerative Petri Nets. Proc. 10th INFORMS Applied Probality Conference, Ulm, 1999
 
• German, R.: Modeling Error Contol for Noisy Channels with Stochastic Petri Nets. Tagungsverband der 10. GI/ITG- Fachtagung Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen (MMB'99), pp. 187-200, VDE- Verlag, Trier, 1999
 
• German, R.: Cascaded Deterministic and Stochastic Petri Nets. Proc. 3th Int. Meeting on the Numerical Solution of Markov Chains, Sept. 99, Zaragoza, pp. 111-130, Prensas Universitarias de Zaragoza, Zaragoza, Spanien, 1999
 
• German, R. Telek, M.: Formal Relation of Markov Renewal Theory and Supplementary Variables in the Analysis of Stochastic Perti Nets. Proc. IEEE 8th Int. Workshop on Petri Nets and Performance Models (PNPM), pp. 64-73, Zaragoza, Spanien, 1999
 
• German, R. Heindl, A.: Performance Evaluation of IEEE 802.11 Wireless LANs with Stochastic Petri Nets. Proc. IEEE 8th Int. Workshop on Petri Nets and Performance Models (PNPM), pp. 44-53, Zaragoza, Spanien, 1999
 
• Zimmermann, A.; Hommel, G.: Modelling and Evaluation of Manufacturing Systems Using Dedicated Petri Nets. Int. Journal of Advanced Manufacturing Technology; Special Issue on Petri Nets Applications, Band 15, pp. 132-137, Springer- Verlag, London, 1999
 
• Zimmermann, A.; Rodriguez, D.; Silva, M.: Modelling and Optimisation of Manufacturing Systems: Petri-Nets and Simutated Annealing. European Control Conference (ECC 99), Karlsruhe, 31.8-3.9.99, VDI, VDE, GMA, Karlsruhe, 1999
 
• Heindl, A.: Approximate Analysis of Queueing Networks with Finite Buffers and Losses by Decomposition. Technischer Bericht des Fachbereichs Informatik, Heft 8, Technische Universität Berlin, Berlin, 1998
 
• Freiheit, J.; Zimmermann, A.: Extending a Reponse Time Approximation Technique to Colored Stochastic Petri Nets. Proc.4th Int. Workshop on Performability Modeling of Computer and Communication Systems (PMCCS4), pp. 67-71, College of William and Mary, Williamsburg, VA/USA, 1998
 
• German, R.: On the Use of Supplementary Variables in the Analysis of Stochastic Petri Nets. Proc. 2th Int. Symposium on Semi-Markov Models: Theory and Applications, Compiègne, Frankreich, 1998
 
• German, R.: Markov Regenerative Stochastic Petri Nets with General Execution Policies: Supplementary Variable Analysis and a Prototype Tool. Proc. 10th Int. Conference on Modeling Techniques and Tools for Computer Performance Evalution, Palma de Mallorca, pp. 255-266, Springer-Verlag LNCS 1469, Berlin, 1998
 
• German, R.: Avoiding Fill-In in the Analysis of Markov Regenerative Stochastic Petri Nets. Proc. 4th Int. Workshop on Performability Modeling of Computer and Communication Systems, pp. 62-66, College of William and Mary, Williamsburg, Virginia/ USA, 1998
 
• German, R.: Jensen's Method for Random Mission Times. Technischer Bericht des Fachbereichs Informatik, Heft 14, Technische Universität Berlin, Berlin, 1998
 
• German, R.: About the Relationship of Embedding and Supplementary Variables in the Analysis of Markov Regenerative Models. Technischer Bericht des Fachbereichs Informatik, Heft 13, Technische Universität Berlin, Berlin, 1998
 
• Zimmermann, A.: Modeling of Manufacturing Systems and Production Routes Using Coloured Petri Nets. International Journal of Robotics & Automation, Band 13/3, pp. 96-100, ACTA Press, Anaheim, CA/ USA, 1998
 
• Wolter, K.: Virtual Waiting Time in Queues obtained from Second Order FSPNs. Proc.3 rd. Int. Computer Performance and Dependability Symposium (IPDS’98), Durham, North Carolina, USA, 1998
 
• Moorsel, A.P.A. v.; Wolter, K.: Numerical Solution of non- homogeneous Markov processes through uniformization. Workshop " Analytical and Numerical Modelling Techniques", European Simulation Multiconference, Society for Computes Simulation, Manchester, 1998
 
• Zimmermann, A.; Kühnel, A.; Hommel, G.: A Modelling and Analysis Method for Manufacturing Systems Based on Petri Nets. Proc. 2 nd IMACS Int. Multiconference (CESA'98), pp. 276-281, IEEE-SMC, Tunesien, Nabeul-Hammamet, 1998
 
• Wolter, K. Hommel, G.: Probabilistic and Deterministic Fluid Flow in Second Order FSPN’S,. Proc. of 3rd Intern. Conference on Automation of Mixed Processes: Dynamic Hybrid Systems (ADPM'98), pp. 324-329, Universite de Reims, Reims, Frankreich, 1998
 
• Wolter, K.: Second Order Fluid Stochastic Petri Nets: an Extension of GSPNs for Approximate and Continuous Modeling. Proc. World Congress on Systems Simulation, pp. 328-332, Singapore, 1997
 
• German, R.: SPNL: Processes as Lanuage- Oriented Building Blocks of Stochastic Petri Nets. Computer Performance Evaluation, Modelling Techniques and Tools, 9th Int. Conf. Saint Malo, Juni 1997, pp. 123-134, Springer-Verlag, Frankreich, 1997
 
• Heindl, A.; German, R.: A Fourth- Order Algorithm with Automatic Stepsize Control for the Transient Analysis of DSPNs. Proc. of the Seventh Int. Workshop on Petri Nets and Performance Models, St. Malo, France (PNPM’97),, pp. 60-69, IEEE-Press, Los Alamitos, California, 1997
 
• Zijal, R.; Ciado, G.; Hommel, G.: Discrete Deterministic and Stochastic Petri Nets. MMB'97 9.ITG/GI- Fachtagung 17.-19.Sept. 1997, Band 1, pp. 103-117, VDE-Verlag, Berlin, 1997
 
• Wolter, K.: Second Order Fluid Stochastic Petri Nets: an Extension of GSPNs for Approximate and Continuos modelling.. Proc. Anal. And Num. Modelling Techniques with Appl. on Quality of Service Modelling, Band 21, pp. 245-257, Aachener Beiträge zur Informatik, Verlag der Augustinus Buchhandlung, Aachen, 1997
 
• Wolter, K.; Hommel, G.: Hybrid Modelling with Scond Order Fluid Stochastic Petri Nets. Proc. Workshop on Parallel and Distributed Real-Time Systems, 6 Seiten, Genf, Schweiz, 1997
 
• Zijal, R.; Ciardo, G.: Discrete Deterministic and Stochastic Petri nets.. Forschungsbericht des Fachbereichs Informatik, Technische Universität Berlin, Berlin, 1996
 
• Wolter, K.; Horton, G.; German, R.: Non- Markovian Fluid Stochastic Petri- Nets.. Forschungsbericht des Fachbereichs Informatik, Heft 13, Technische Universität Berlin, Berlin, 1996.
 
• Kuhlmann, T.: Gleichzeitige Simulation von seltenen und häufigen Ereignissen und Zuständen mit RESTART.. Forschungsbericht des Fachbereichs Informatik, Heft 42, Technische Universität Berlin, Berlin, 1996
 
• Heindl, A.; German, R.: A Fourth-Order Algorithm with Automatic Stepsize Control for the Transient Analysis of DSPNs.. Forschungsbericht des Fachbereichs Informatik, Heft 35, Technische Universität Berlin, Berlin, 1996
 
• German, R.: A Concept for the Modular Description of Stochastic Petri Nets.. Proc. 3rd Int. Workshop on Performability Modeling of Computer and Communication Systems, pp. 20–24, Illinois, USA, 1996
 
• Zimmermann, A.; Bode, S.; Hommel, G.: Performance and Dependability Evaluation of Manufacturing Systems Using Petri Nets.. Workshop Manufacturing Systems and Petri Nets at the 17th Int. Conf. on Application and Theory of Petri Nets, pp. 235-250, Osaka, Japan, 1996
 
• Zimmermann, A.; Dalkowski, K.; Hommel, G.: A Case Study In Modeling And Performance Evaluation Of Manufacturing Systems Using Colored Petri Nets.. 8th, European Simulation Symposium (ESS '96),, pp. 282-286, Genoa, Italy, 1996
 
• M.A. Qureshi; W.H. Sanders; A.P.A von Moorsel German, R.: Algorithms for the Generation of State-Level Representations of Stochastic Activity Networks with General Reward Structures.. IEEE Transactions on Software Engineering,, pp. 603–614, 1996
 
• Kelling, Ch.: Conventional and Fast Simulation Techniques for Stochastic Petri Nets. Forschungsbericht des Fachbereichs Informatik, Heft 25, Technische Universität Berlin, Berlin, 1996
 
• Kelling, Ch.: A Framework for Rare Event Simulation of Stochastic Petri Nets using RESTART. Proc. of the 1996 Winter Simulation Conference, Coronado, CA, USA, 1996
 
• Kelling, Ch.; Hommel, G.: Rare Event Simulation with an Adaptive RESTART Method in a Petri Nets Simulation Environment. Proc. of the 4th Workshop on Parallel and Distributed Real-Time Systems, pp. 229- 234, Honolulu, HI, USA, 1996
 
• Kelling, Ch.; Henz, J.; Hommel, G.: Modeling and Evaluation of a Distributed Controller Architecture by Stochastic Petri Nets. Journal on Mini and Microcomputers, Vol. 18, No.1, 1996
 
• Wolter, K.; Horton, G.; German, R.: Non-Markovian Fluid Stochastic Petri Nets. Non-Markovian Fluid Stochastic Petri Nets, pp. 13, Technische Universität Berlin, Berlin, 1996
 
• German, R.; Qureshi, M.A. ; Sanders, W.H. ; Moorsel, A.P.A. v.: Algorithms for the Generation of State-Level Representations of Stochastic Activity Networks with General Reward Structures. IEEE Transactions on Software Engineering, pp. 603- 614, 1996
 
• Ciardo, G.; Zijal, R.: Well- defined stochastic Petri Nets. Proc.4th Int. Workshop MASCOTS’96, pp. 278- 284, San Jose, CA, USA,, 1996
 
• German, R.; Moorsel, A.P.A. v.; Qureshi, M.A. ; Sanders, W.H.: Expected Impulse Rewards in Markov Regenerative Stochastic Petri Nets. Application and Theory of Petri Nets, Proc. 17th, pp. 172- 191, J. Billington, W. Reisig (Hrsg.):, Int. Conf., Osaka, Japan, 1996
 
• Zimmermann, A.: Modeling of Manufacturing Systems and Production Routes Using Coloured Petri Nets.. Int. Conf. on Robotics and Manufacturing, pp. 380-383, Cancún, Mexico, 1995
 
• German, R.; Moorsel, A.P.A. v.; Qureshi, M.A. ; Sanders, W.H.: Solution of Stochastic Petri Nets with General Distributions, Rate and Impulse Rewards. Research Report 95G01 CRHC, University of Illinois at Urbana-Champaign, 1995
 
• Kelling, Ch.; Henz, J.; Hommel, G.: Design of a Communication Scheme for a Distributed Controller Architecture Using Stochastic Petri Nets. Proceedings of the 3rd Workshop on Parallel and Distributed Real-Time Systems, Santa Barbara/USA, 1995
 
• Kelling, Ch.; Hommel, G.: Modeling Priorities in Token Protocols with Timed Petri Nets. Int. Journal on Mini and Microcomputers, Special Issue Vol. 17, No. 1 or 2, 10 Seiten, ISMM Internat. Society for Mini and Microcomputers, 1995
 
• German, R.; Kelling, Ch.; Hommel, G.: Evaluation of Non-Markovian Stochastic Petri Nets: Analysis, Simulation and Tool Support. Tutorial-Proceedings des IEEE 6th Int. Workshop on Petri Nets and Performance Models, pp. 103-112, Durham, North Carolina, USA, 1995
 
• German, R.; Logothetis, D.; Trivedi, K.S.: Transient Analysis of Markov Regenerative Stochastic Petri Nets: A Comparison of Approaches.. Proc. IEEE 6th Int. Workshop on Petri Nets and Performance Models, pp. 103- 112, North Carolina, USA, 1995
 
• German, R.; Mitzlaff, J.: Transient Analysis of Deterministic and Stochastic Petri Nets with TimeNET. Proc. Joint Conference PERFORMANCE TOOLS and MMB, pp. 209- 223, Springer-Verlag LNCS 977, Heidelberg, 1995
 
• German, R.: Transient Analysis of Deterministic and Stochastic Petri Nets by the Method of Supplementary Variables. Proc. IEEE Int. Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, pp. 394-398, Durham, North Carolina, USA, 1995
 
• German, R.: New Results on the Analysis of Deterministic and Stochastic Petri Nets. Proc. IEEE Int. Performance and Dependability Symposium, pp. 114–123, Erlangen, 1995
 
• Zimmermann, A.: A Modeling Method for Flexible Manufacturing Systems based on Colored Petri Nets.. Proc. Int. Workshop on New Directions in Control and Manufacturing, pp. 147-154, Hong Kong, 1994
 
• Zijal, R.; German, R.: A New Approach to Discrete Time Stochastic Petri Nets.. Proc. 11th Int. Conf. on Analysis and Optimization of Systems, Discrete Event Systems, pp. 198-204, LNCIS Springer, Sophia-Antipolis, France, 1994
 
• Zijal, R.: Discrete Time Deterministic and Stochastic Petri Nets.. Proc. Int. Workshop Quality of Communication-Based Systems, pp. 123-136, Kluwer Academic Publishers, Dordrecht, Netherlands, 1994
 
• Kelling, Ch.: Control Variate Selection Strategies for Timed Petri Nets. Proc. of the European Simulation Symposium, pp. 73- 77, Instanbul, Turkey, 1994
 
• Kelling, Ch.; Hommel, G.: Modeling Priorities in Token Protocols with Timed Petri Nets. Proceedings of 2nd Workshop on Parallel and Distributed Real-Time Systems, pp. 110- 118, IEEE Computer Society Press, Los Alamitos, Ca., USA, 1994
 
• German, R.: Transient Analysis of Deterministic and Stochastic Petri Nets by the Method of Supplementary Variables. Proc. Int. Workshop on the Quality of Communication-Based Systems, pp. 105–121, Kluwer Academic Publishers, Berlin, 1994
 
• Lindemann, Ch.; Zimmermann, A.: An Adaptive Algorithm for the Efficient Generation of the Tangible Reachability Graph of a Stochastic Petri Net. Forschungsberichte des Fachbereichs Informatik, Heft 8, Technische Universität Berlin, Berlin, 1994
 
• Ciardo, G.; German, R.; Lindemann, Ch.: A Characterization of the Stochastic Process Underlying a Stochastic Petri Net. IEEE Transactions on Software Engineering, pp. 506- 515, 1994
 
• German, R.; Lindemann, Ch.: Analysis of Stochastic Petri Nets by the Method of Supplementary Variables.. Performance Evaluation, pp. 317- 335, North- Holland, 1994
 
• German, R.: A New Approach to the Approximation of Deterministic Time in Continuous Time Stochastic Models. Short Papers and Tools Descriptions 7th, pp. 91- 94, Wien, Östereich, 1994
 
• Kelling, Ch.; Hommel, G.: Modeling Priority Schemes with Timed Petri Nets. Proceedings of 2nd Workshop on Parallel and Distributed Real-Time Systems, pp. 110-118, IEEE Computer Society Press, Los Alamitos, Ca./USA, 1994
 
• German, R.; Zimmermann, A.; Kelling, Ch.; Hommel, G.: Modellierung und Bewertung von flexiblen Fertigungssystemen mit TimeNET. CIM Management, Heft 3, pp. 24-27, Oldenbourg-Verlag, München, 1994
 
• Kelling, Ch.: Verfahren der Parallelsimulation.. Technischer Bericht des Fachbereichs Informatik, Heft 41, Technische Universität Berlin, Berlin, 1993
 
• Kelling, Ch.: A New Method to Determine the Initial Checkpoint of the Spectral Variance Analysis.. 7. ITG/GI-Fachtagung Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen, Band 2, pp. 37-42, Aachen,, 1993
 
• Lindemann, Ch.; German, R.: Modeling Discrete Event System with State-Dependent Deterministic Service Times. Journal on Discrete Event Dynamical Systems: Theory and Applications, pp. 249-270, 1993
 
• Lindemann, Ch.; Ciardo, G.; German, R.; Hommel, G.: Performability Modeling of an Automated Manufacturing System with Deterministic and Stochastic Petri Nets. Proceedings IEEE Intern. Conference on Robotics and Automation, pp. 576-581, Atlanta, Georgia,USA, 1993
 
• German, R.; Lindemann, Ch.: A Numerical Solution Method for PH/D/1/K Queueing Systems. Proc. 2Nd Int. Workshop on Queueing Systems with Finite Capacity, pp. 171-183, North Holland, Raleigh, North Carolina, USA, 1992
 
• Lindemann, Ch.; Hommel, G.: Combining Deterministic and Stochastic Petri Nets and Product-Form Queueing Network Models for Evaluating Gracefully Degradable Systems. Proceedings of COMPEURO ´91, pp. 880-884, Bologna/Italien, 1991
 
• Lindemann, Ch.; Hommel, G.: Combining Deterministic and Product-Form Queueing Networks for Evaluating Gracefully Degradable Systems. Technischer Bericht des Fachbereichs Informatik, Heft 39, Technische Universität Berlin, Berlin, 1990
 
• Lindemann, Ch.; Wolisz, A.: Stochastic Petri Net Models for CSMA/CD Lan’s with Deterministic Collision Resolution. Technischer Bericht des Fachbereichs Informatik, Heft 33, Technische Universität Berlin, Berlin, 1990