]. , I. De-lyon, and B. I. Tous-droits-réservés, ] ADEME. Guide des facteurs d'émissions, 2007.

C. Aitken, C. Stephenson, and R. Brinkworth, Process Classification Frameworks, Handbook on Business Process Management, pp.73-92, 2010.
DOI : 10.1007/978-3-642-01982-1_4

D. Beckett and T. Berners-lee, Turtle Terse RDF Triple Language

G. Berthelot, Checking properties of nets using transformations In Advances in Petri Nets, pp.19-40, 1985.

B. Bertin, . Vasile-marian, J. Scuturici, E. Pinon, and . Risler, CarbonDB, Proceedings of the 21st ACM international conference on Information and knowledge management, CIKM '12, pp.2683-2685, 2012.
DOI : 10.1145/2396761.2398725

URL : https://hal.archives-ouvertes.fr/hal-01353060

R. Bobrik, M. Reichert, and T. Bauer, View-based process visualization. Business Process Management, pp.88-95, 2007.

R. Bobrik, M. Reichert, and T. Bauer, Parameterizable views for process visualization, 2007.

M. Bostock and J. Heer, Protovis: A Graphical Toolkit for Visualization, IEEE Transactions on Visualization and Computer Graphics, vol.15, issue.6, pp.1121-1128, 2009.
DOI : 10.1109/TVCG.2009.174

A. Richard, H. J. Brualdi, and . Ryser, Combinatorial Matrix Theory, INSA de Lyon, tous droits réservés, 1991.

T. Chen, Preconditioning sparse matrices for computing eigenvalues and solving linear systems of equations, 2001.

D. Coppersmith and S. Winograd, Matrix multiplication via arithmetic progressions, Proceedings of the nineteenth annual ACM conference on Theory of computing , STOC '87, pp.251-280, 1990.
DOI : 10.1145/28395.28396

URL : http://doi.org/10.1016/s0747-7171(08)80013-2

H. Thomas and . Cormen, Introduction to Algorithms, 2009.

H. Thomas and . Davenport, Process Innovation : Reengineering Work Through Information Technology, 1993.

C. Davis, Integration of life cycle analysis within agent based modeling using a case study on bio-electricity. Master's thesis, 2007.

C. Davis and I. Nikoli, Integration of Life Cycle Assessment Into Agent-Based Modeling Infrastructure Systems, Journal of Industrial Ecology, vol.13, issue.2, 2009.

T. A. Davis, Direct Methods for Sparse Linear Systems. SIAM, 2006.
DOI : 10.1137/1.9780898718881

A. Timothy, H. Davis, and . Yifan, The University of Florida sparse matrix collection, ACM transactions on mathematical software, vol.38, pp.28-2012

I. S. Duff and J. K. Reid, An Implementation of Tarjan's Algorithm for the Block Triangularization of a Matrix, ACM Transactions on Mathematical Software, vol.4, issue.2, pp.137-147, 1978.
DOI : 10.1145/355780.355785

L. Andrew, N. S. Dulmage, and . Mendelsohn, Coverings of bipartite graphs, Canadian Journal of Mathematics, vol.10, issue.4, pp.516-534, 1958.

R. Eshuis and P. Grefen, Constructing customized process views, Data & Knowledge Engineering, vol.64, issue.2, pp.419-438, 2008.
DOI : 10.1016/j.datak.2007.07.003

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

E. Centre, European reference Life- Cycle Database, 2012.

R. Frischknecht, Life cycle inventory modelling in the Swiss national database ECOINVENT, Sustainablity in the Information Society, p.24, 2000.

R. Frischknecht and N. Jungbluth, The ecoinvent Database: Overview and Methodological Framework (7 pp), The International Journal of Life Cycle Assessment, vol.10, issue.1, pp.3-9, 2005.
DOI : 10.1065/lca2004.10.181.1

R. Frischknecht and G. Rebitzer, The ecoinvent database system: a comprehensive web-based LCA database, Journal of Cleaner Production, vol.13, issue.13-14, pp.13-141337, 2005.
DOI : 10.1016/j.jclepro.2005.05.002

. Gabi and . Gabi, URL http://www. gabi-software.com, Life Cycle Inventory Databases, 2011.

A. A. , A. Ghani, K. Tieng-weigeoffrey-muchiri, W. Muketha, and . Wen, Complexity metrics for measuring the understandability and maintainability of business process models using goal-questionmetric (GQM), International Journal of Computer Science and Network Security, vol.8, issue.5, pp.219-225, 2008.

A. Ghose, K. Hoesch-klohe, L. Hinsche, and L. Le, GREEN BUSINESS PROCESS MANAGEMENT: A RESEARCH AGENDA, Australasian Journal of Information Systems, vol.16, issue.2, pp.103-117
DOI : 10.3127/ajis.v16i2.597

A. Greenbaum, Iterative Methods for Solving Linear Systems. SIAM, 1987.

R. Thomas and . Gruber, A translation approach to portable ontology specifications . Knowledge acquisition, pp.199-220, 1993.

V. Gruhn and R. Laue, Approaches for Business Process Model Complexity Metrics, 9th international conference on business information systems, pp.1-12, 2006.
DOI : 10.1007/1-4020-5634-6_2

J. Guinée, Handbook on Life Cycle Assessment : Operational Guide to the ISO Standards, 2002.

W. Christian, . Günther, M. P. Wil, and . Van-der-aalst, Fuzzy mining?adaptive process simplification based on multi-perspective metrics. Business Process Management, pp.328-343, 2007.

W. Hackbusch, Iterative Solution of Large Sparse Systems of Equations, 2012.

M. Hammer and J. Champy, Reengineering the corporation: A manifesto for business revolution, Business Horizons, vol.36, issue.5, 2003.
DOI : 10.1016/S0007-6813(05)80064-3

P. Hayes and C. Welty, Defining N-ary Relations on the Semantic Web

J. Hedemann, I. Meinshausen, and R. Frischknecht, Documentation EcoSpold, Swiss Centre for Life Cycle Inventories, 2008.

C. Hendrickson, A. Horvath, S. Joshi, and L. Lave, Economic Input-Output Models for Environmental Life-Cycle Assessment. Environmental science & technology, pp.184-191, 1998.

I. Herman, G. Melançon, and M. S. Marshall, Graph visualization and navigation in information visualization: A survey, IEEE Transactions on Visualization and Computer Graphics, vol.6, issue.1, pp.24-43, 2000.
DOI : 10.1109/2945.841119

K. Hoesch-klohe, A. Ghose, and L. Lê, Towards Green Business Process Management, 2010 IEEE International Conference on Services Computing, pp.386-393
DOI : 10.1109/SCC.2010.21

I. Horrocks, F. Peter, H. Patel-schneider, S. Boley, B. Tabet et al., SWRL : A Semantic Web Rule Language Combining OWL and RuleML, W3C, 2004.

R. Johnson, D. Pearson, and K. Pingali, The program structure tree : Computing control regions in linear time, ACM SigPlan Notices, 1994.

G. Keller and T. Teufel, Sap R/3 Process Oriented Implementation, 1998.

B. Kiepuszewski, C. Ter-hofstede, and . Bussler, On structured workflow modelling Advanced Information Systems Engineering, pp.431-445, 2000.

G. Klyne and J. Carroll, Resource Description Framework (RDF) : Concepts and Abstract Syntax, 2004.

K. L. Ryan, S. S. Ko, E. Lee, and . Lee, Business process management (BPM) standards : a survey, Business Process Management Journal, vol.15, issue.5, pp.744-791, 2009.

M. Laydi, Calcul matriciel. (Cité page 79

W. Leontief, Environmental Repercussions and the Economic Structure: An Input-Output Approach, The Review of Economics and Statistics, vol.52, issue.3, pp.262-271, 1970.
DOI : 10.2307/1926294

L. Deborah, F. Mcguinness, and . Van-harmelen, OWL web ontology language overview, 2004.

J. Melton and A. R. Simon, SQL : 1999 -Understanding Relational Language Components, 2001.

J. Mendling, G. Neumann, and W. M. Van-der-aalst, Understanding the occurrence of errors in process models based on metrics. On the Move to Meaningful Internet Systems, pp.113-130, 2007.

J. Mendling, H. A. Reijers, and J. Cardoso, What makes process models understandable ? Business Process Management, pp.48-63, 2007.

J. Mendling, B. F. Verbeek, . Van-dongen, M. P. Wil, G. Van-der-aalst et al., Detection and prediction of errors in EPCs of the SAP reference model, Data & Knowledge Engineering, vol.64, issue.1, pp.312-329, 2008.
DOI : 10.1016/j.datak.2007.06.019

J. Mendling, H. A. Reijers, and W. M. Van-der-aalst, Seven process modeling guidelines (7PMG) Information and Software Technology

H. Mili, G. Tremblay, G. Bou-jaoude, É. Lefebvre, L. Elabed et al., Business process modeling languages, ACM Computing Surveys, vol.43, issue.1, pp.1-56, 2010.
DOI : 10.1145/1824795.1824799

P. Nielsen, . Nielsen, . Bp-weidema, N. Dalgaard, and . Halberg, LCA food data base, 2003.

A. Nowak, F. Leymann, and R. Mietzner, Towards green business process reengineering. Service-Oriented Computing, pp.187-192
DOI : 10.1007/978-3-642-19394-1_20

A. Nowak, F. Leymann, D. Schumm, and B. Wetzstein, An Architecture and Methodology for a Four-Phased Approach to Green Business Process Reengineering. Information and Communication on Technology for the Fight against Global Warming, pp.150-164

O. Martin, A. Connor, and . Das, SQWRL : a Query Language for OWL

G. P. Peters, Efficient algorithms for Life Cycle Assessment, Input-Output Analysis, and Monte-Carlo Analysis, The International Journal of Life Cycle Assessment, vol.12, issue.6, pp.373-380, 2007.
DOI : 10.1065/lca2006.06.254

A. Carl and . Petri, Communication with Automata, 1962.

A. Polyvyanyy, S. Smirnov, and M. Weske, Process model abstraction : A slider approach. Enterprise Distributed Object Computing Conference, EDOC'08. 12th International IEEE, pp.325-331, 2008.
DOI : 10.1109/edoc.2008.17

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

A. Polyvyanyy, S. Smirnov, and M. Weske, Reducing complexity of large EPCs, MobIS, vol.104, issue.105, pp.195-207, 2008.

A. Polyvyanyy, S. Smirnov, and M. Weske, The triconnected abstraction of process models. Business Process Management, pp.229-244, 2009.

A. Pothen and C. Fan, Computing the block triangular form of a sparse matrix, ACM Transactions on Mathematical Software, vol.16, issue.4, pp.303-324, 1990.
DOI : 10.1145/98267.98287

E. Prud, A. Hommeaux, and . Seaborne, SPARQL query language for RDF, pp.57-69

A. Hajo, J. Reijers, and . Mendling, Modularity in process models : Review and effects. Business Process Management, pp.20-35, 2008.

Y. Saad, Iterative methods for sparse linear systems, SIAM, 2003.
DOI : 10.1137/1.9780898718003

W. Sadiq and M. E. Orlowska, On business process model transformations . Conceptual Modeling -ER, pp.267-280, 2000.
DOI : 10.1007/3-540-45393-8_20

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

K. Sarshar and P. Loos, Comparing the Control-Flow of EPC and Petri Net from the End-User Perspective. Business Process Management, pp.434-439, 2005.

E. Satu and . Schaeffer, Graph clustering, Computer Science Review, vol.1, issue.1, pp.27-64, 2007.

S. Smirnov, H. A. Reijers, T. Nugteren, and M. Weske, Business process model abstraction : theory and practice, 2010.

S. Smirnov, H. A. Reijers, and M. Weske, A semantic approach for business process model abstraction Advanced Information Systems Engineering, pp.497-511

S. Smirnov, H. A. Reijers, M. Weske, and T. Nugteren, Business process model abstraction : a definition, catalog, and survey. Distributed and Parallel Databases, pp.63-99, 2012.

V. Strassen, Gaussian elimination is not optimal, Numerische Mathematik, vol.13, issue.4, pp.354-356, 1969.
DOI : 10.1007/BF02165411

S. Suh and G. Huppes, Missing inventory estimation tool using extended input-output analysis, The International Journal of Life Cycle Assessment, vol.70, issue.4, pp.134-140, 2002.
DOI : 10.1007/BF02994047

S. Suh and S. Nakamura, Five years in the area of input-output and hybrid LCA, The International Journal of Life Cycle Assessment, vol.12, issue.6, pp.351-352, 2007.
DOI : 10.1065/lca2007.08.358

R. Tarjan, Depth-first search and linear graph algorithms, SIAM journal on computing, pp.114-121, 1972.
DOI : 10.1109/swat.1971.10

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

R. Tarjan and J. Valdes, Prime subprogram parsing of a program, Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '80, pp.95-105, 1980.
DOI : 10.1145/567446.567456

M. P. Wil and . Van-der-aalst, The Application of Petri Nets To Workflow Management, 1998.

M. P. Wil and . Van-der-aalst, Business Process Management : A Comprehensive Survey, ISRN Software Engineering, vol.2013, pp.1-37, 2013.

M. P. Wil, A. H. Van-der-aalst, M. Hofstede, and . Weske, Business Process Management : A Survey, pp.1-12, 2003.

M. P. Wil, T. Van-der-aalst, L. Weijters, and . Maruster, Workflow mining : discovering process models from event logs, IEEE Transactions on Knowledge and Data Engineering, vol.16, issue.9, pp.1128-1142, 2004.

D. Van, N. , and M. De-backer, Multi-abstraction layered business process modeling, Computers in Industry, vol.63, issue.2, pp.131-147, 2012.

J. Vanhatalo, F. Völzer, and . Leymann, Faster and more focused control-flow analysis for business process models through SESE decomposition . Service-Oriented Computing ? ICSOC, pp.43-55, 2007.
DOI : 10.1007/978-3-540-74974-5_4

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

J. Vanhatalo, H. Völzer, and J. Koehler, The refined process structure tree. Business Process Management, pp.100-115, 2008.
DOI : 10.1016/j.datak.2009.02.015

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

R. S. Varga, Matrix Iterative Analysis, 2009.
DOI : 10.1007/978-3-642-05156-2

URL : http://hdl.handle.net/2027/mdp.39015000491780

D. S. Watkins, Fundamentals of Matrix Computations, 2004.
DOI : 10.1002/0471249718

R. Yuster and U. Zwick, Fast sparse matrix multiplication, ACM Transactions on Algorithms, vol.1, issue.1, pp.2-13, 2005.
DOI : 10.1145/1077464.1077466

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=