PETRI NETS 2011 & ACSD 2011

Tutorials

Two tutorials will be held at Monday, June 20.

Verification with LoLA (Full Day) by Karsten Wolf and Niels Lohmann

Elementary Net Synthesis (Half Day) by Eric Badouel and Philippe Darondeau

	PETRI NETS 2011 ACSD 2011 Kanazawa, Japan, June 20-24, 2011

Your browser does not support iframes. Tutorials Two tutorials will be held at Monday, June 20. Verification with LoLA (Full Day) by Karsten Wolf and Niels Lohmann Elementary Net Synthesis (Half Day) by Eric Badouel and Philippe Darondeau