Publications
] Filters: First Letter Of Last Name is C [Clear All Filters]
[1327] .
2002. International Workshop on Discrete Event Systems (WODES'02).
[SC-MATCH20-98] .
1998. Introduction to Net Driven Decomposition Techniques. :693-718.
[RP-85-08] .
1985. A language for the description of Concurrent Systems Modeled by Colored Petri nets. Application to the Control of Flexible Manufacturing Systems. :369-388.
[ICCoMa90] .
1991. Linear Invariants in Commutative High Level Nets. :146-165.
[RP-93-56] .
1993. A new technique for finding a generating family of siphons, traps and st-components. 674:126-147.
[C-DEMON-91] .
1991. Performance Analysis of Live and Bounded Free Choice Systems. Studien. 198:38-48.
[C-MATCH17-98] .
1998. Performance Bounds. :587-635.
[MCM-LNCS-01] .
2001. A Performance Engineering Case Study: Software Retrieval System. 2047:317-332.
[C-MATCH8-98] .
1998. Performance Measures and Basic Properties. :285-304.
[1326] .
2003. Petri Net Approaches for Modelling and Validation. Lincom Studies in Computer Science. 1
[1324] .
2007. Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE’07).
[C-MATCH23-98] .
1998. Response Time Approximation for Stochastic Marked Graphs. :797-817.
[CS-DS-90] .
1990. Steady State Performance Evaluation of Totally Open Systems of Markovian Sequential Processes. :427-438.
[CS-LNCS-92] .
1992. Structural Techniques and Performance Bounds of Stochastic Petri Net Models. 609:352-391.
[State-of-the-art-93] .
1993. The Timed Coloured Petri Net Formalism Position Paper. 14:3-60.
