(Q,≦,∨) is a complete join semilattice (Q,・,e) is a monoid (∨S)・a=∨{b・a | b∈S} for a∈Q, S⊆Q a・(∨S)=∨{a・b | b∈S} for a∈Q, S⊆Q 2 Background: An Example of Quantale (Rel(A),≦,∨,・,e) is a quantale where Rel(A) is the set of all binary relations on A ≦ is the inclusion ∨ is the union ・ is the composition Q・R={ (a,c) | ∃b. (a,b)∈Q, (b,c)∈R } e is the identity relation 3 Our Goal: Relational Represent...

the purpose of this study is to examine different scenarios for implementing operations in the pre-construction phase of a project, based on several competing criteria with different importance levels in order to achieve a more efficient execution plan. this paper presents a new framework that integrates discrete event simulation (des) and data envelopment analysis (dea) to rank different scena...

Simulation modeling and visualization can substantially help in designing complex construction operations and in making optimal decisions where traditional methods prove ineffective or are unfeasible. However, there has been limited use of simulation in planning construction operations due to the unavailability of appropriate support tools that can provide users with a more realistic and compre...

The purpose of this study is to examine different scenarios for implementing operations in the pre-construction phase of a project, based on several competing criteria with different importance levels in order to achieve a more efficient execution plan. This paper presents a new framework that integrates discrete event simulation (DES) and data envelopment analysis (DEA) to rank different scena...

Operations in construction and real estate sector are increasingly networked. Practically this appears as a very high share of subcontracting, and recently the outsourcing as a lasting trend has even strengthened this phenomenon. In a major construction project the project manager and the company (s)he is representing can be connected to tens or even several hundred different partners who each ...

a r t i c l e i n f o A common and extended Petri net simulation framework for virtual construction of earthmoving operations is developed to simulate dynamic changes of workflow and information flow in the earthmoving construction process and illustrate the constraint relationship between various operational equipment and construction restrictions. The proposed framework considers factors that...