PDF-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
"Continuous Petri Nets Expressive Power and Decidability Issu " is the property of its rightful owner. Permission is granted to download and print materials on this website for personal, non-commercial use only, provided you retain all copyright notices. By downloading content from our website, you accept the terms of this agreement.
Presentation Transcript
Transcript not available.