Efficient methods for verification and performance evaluation of concurrent systems by Petri nets

Efficient methods for verification and performance evaluation of concurrent systems by Petri nets

Show other versions (1)

Bibliographic Details
Main Author:	Kovalyov, Andrei
Published:	2013
Online Access:	http://hdl.handle.net/1993/19827

Efficient methods for verification and performance evaluation of concurrent systems by Petri nets

Efficient methods for verification and performance evaluation of concurrent systems by Petri nets

by Kovalyov, Andrei
Published 2013

Get full text

Cannot write session to /tmp/vufind_sessions/sess_0hbm7ba8q6i6r8c2hasgdmppvp