Computational approaches to analyze complex dynamic systems: model-checking and its applications. Part 3: Model-checking of timed transitions systems: timed extensions of Petri nets Morgan Magnin - Model of computation - Document - PDFSEARCH.IO

First Page	Meta Content
	Computational approaches to analyze complex dynamic systems: model-checking and its applications. Part 3: Model-checking of timed transitions systems: timed extensions of Petri nets Morgan Magnin Add to Reading List Document Date: 2013-04-09 03:06:25 Open Document File Size: 1,16 MB Share Result on Facebook Company NII - Inoue Laboratory / / Country France / / Currency pence / / / Event Person Travel / / IndustryTerm timed transitions systems / Model-checking algorithms / biological regulatory network / dynamic systems / gene regulation network / / Organization Ecole Centrale de Nantes / / Person Morgan Magnin / / URL www.morganmagnin.net / / SocialTag Concurrency Applied mathematics Diagrams Petri net Automata theory Formal verification Finite-state machine Petri Model checking Models of computation

Computational approaches to analyze complex dynamic systems: model-checking and its applications. Part 3: Model-checking of timed transitions systems: timed extensions of Petri nets Morgan MagninAdd to Reading List