Publications
[RP-83-01] A package for computer design of concurrent logic control systems. :243-248.
.
1983.
[RP-87-02] Packages for validating discrete production systems modelled with Petri nets. :529-536.
.
1987.
[C-DEMON-91] Performance Analysis of Live and Bounded Free Choice Systems. Studien. 198:38-48.
.
1991.
[C-MATCH17-98] Performance Bounds. :587-635.
.
1998.
[MCM-LNCS-01] A Performance Engineering Case Study: Software Retrieval System. 2047:317-332.
.
2001.
[C-MATCH8-98] Performance Measures and Basic Properties. :285-304.
.
1998.
.
1998.
[1326] Petri Net Approaches for Modelling and Validation. Lincom Studies in Computer Science. 1
.
2003.
[ICSiVa89] Petri Nets and Flexible Manufacturing. :374-417.
.
1989.
[RP-90-11] Petri Nets and Flexible Manufacturing. 424:374-417.
.
1990.
[ICReSiEzTe04] Petri nets and manufacturing systems: An examples-driven tour. 3098:742-788.
.
2004.
[RP-92-33] Petri Nets as a specification language for manufacturing systems. :427-436.
.
1992.
[RP-86-03] Petri nets for the specification of FMSs. :389-406.
.
1986.
[RP-90-14] Petri-Net Based Fairness Concepts for Discrete Event Systems. :549-557.
.
1990.
[ICSilv93b] Practice of Petri-nets in manufacturing.
.
1993.
.
2007.
.
2005.
[RP-83-02] Programmable logic controllers and Petri nets: A comparative study. :83-88.
.
1983.
[AmbMay97] Resource Bounded Measure and Randomness. :1-47.
.
1997.
[C-MATCH23-98] Response Time Approximation for Stochastic Marked Graphs. :797-817.
.
1998.
[RP-86-05] Robot programming and robot vision. :11-29.
.
1986.
[RP-82-02] A simple and fast algorithm to obtain all invariants of a generalized Petri net. :301-310.
.
1982.
[RP-89-01] The Spy: A mechanism for safe implementation of highly concurrent systems. :75-81.
.
1989.
[CS-DS-90] Steady State Performance Evaluation of Totally Open Systems of Markovian Sequential Processes. :427-438.
.
1990.
[CS-LNCS-92] Structural Techniques and Performance Bounds of Stochastic Petri Net Models. 609:352-391.
.
1992.