Christophe Morvan

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Petri nets with structured data Fundamenta Informaticae	2017-07-28	Paper
Petri nets with structured data Application and Theory of Petri Nets and Concurrency	2015-08-27	Paper
Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems Discrete Event Dynamic Systems	2015-06-12	Paper
Petri net reachability graphs: decidability status of first order properties Logical Methods in Computer Science	2012-10-22	Paper
Petri net reachability graphs: decidability status of FO properties (available as arXiv preprint)	2012-08-31	Paper
Test generation from recursive tiles systems Tests and Proofs	2012-07-20	Paper
Modelling and passivity based control of switched systems from bond graph formalism: application to multicellular converters Journal of the Franklin Institute	2009-08-07	Paper
On Rational Trees Computer Science Logic	2009-03-12	Paper
Families of automata characterizing context-sensitive languages Acta Informatica	2005-04-15	Paper
scientific article; zbMATH DE number 1834676 (Why is no real title available?)	2002-11-25	Paper
scientific article; zbMATH DE number 1512622 (Why is no real title available?)	2000-10-03	Paper

Research outcomes over time

This page was built for person: Christophe Morvan