DocSlides

PDF-Continuous Petri Nets Expressive Power and Decidability Issues Laura Recalde Serge Haddad Manuel Silva LAMSADECNRS UMR University ParisDauphine France Email haddadlamsade

SO

lois-ondreau

Published 2014-12-19 | 6574 Views

Continuous Petri Nets Expressive Power and Decidability Issues Laura Recalde  Serge Haddad  Manuel Silva LAMSADECNRS UMR  University ParisDauphine France Email haddadlamsade
dauphinefr GISED University of Zaragoza Spain Email lrecalde silva unizares Abstract State explosion is a fundamental problem in the analysis and synthesis of discrete

Download Presentation

Download Presentation The PPT/PDF document "Continuous Petri Nets Expressive Power a..." is the property of its rightful owner. Permission is granted to download and print the materials on this website for personal, non-commercial use only, and to display it on your personal computer provided you do not modify the materials and that you retain all copyright notices contained in the materials. By downloading content from our website, you accept the terms of this agreement.

Presentation Transcript