On Weighted T-Systems

Approximate Mean Value Analysis for Stochastic Marked Graphs

IEEE Transactions on Software Engineering - Special issue: best papers of the sixth international workshop on Petri nets and performance models (PNPM'95)

Performance Analysis of Stochastic Timed Petri Nets Using Linear Programming Approach

IEEE Transactions on Software Engineering

Approximate mean value analysis technique for non-product form solution stochastic Petri nets: an application to stochastic marked graphs

PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models

Minimizing Place Capacities of Weighted Event Graphs for Enforcing Liveness

Discrete Event Dynamic Systems

Petri nets with localities and testing

PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets

Step coverability algorithms for communicating systems

Science of Computer Programming

Complexity results for Weighted Timed Event Graphs

Discrete Optimization

Petri net distributability

PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics

Cyclo-static DataFlow phases scheduling optimization for buffer sizes minimization

Proceedings of the 16th International Workshop on Software and Compilers for Embedded Systems