A more efficient time Petri net state space abstraction preserving linear properties - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hanifa Boucheneb, Hind Rakkay. A more efficient time Petri net state space abstraction preserving linear properties. In Twan Basten, Gabriel Juhás, Sandeep K. Shukla, editors, Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 10-13 July 2007, Bratislava, Slovak Republic. pages 61-70, IEEE Computer Society, 2007. [doi]

This author has not been identified. Look up 'Hanifa Boucheneb' in GoogleThis author has not been identified. Look up 'Hind Rakkay' in Google

runs on WebDSL