Publications related to Petri net

A semantic model-based systems engineering approach for assessing the operational performance of metal forming process

Metal Forming is a basic and essential industrial process to provide materials for constructing complex products. To design an efficient metal forming process, the functional requirements and operational performance are two important aspects to be consider ...

Pergamon-Elsevier Science Ltd2024

Mutual Information for the Stochastic Block Model by the Adaptive Interpolation Method

Nicolas Macris, Jean François Emmanuel Barbier, Chun Lam Chan

We rigorously derive a single-letter variational expression for the mutual information of the asymmetric two-groups stochastic block model in the dense graph regime. Existing proofs in the literature are indirect, as they involve mapping the model to a ran ...

IEEE2019

Constraint-Flow Nets: A Model for Building Constraints from Resource Dependencies

Simon Bliudze, Alena Simalatsar, Alina Zolotukhina

The major research in the resource management literature focuses primarily on two complementary sub-problems: (1) specification languages for formulating resource requests and (2) constraint problems modelling allocation and scheduling. Both directions ass ...

Springer International Publishing2017

Non-ablative femtosecond laser exposure of fused silica in the sub-50 fs regime (Conference Presentation)

Yves Bellouard, Erica Kathleen Block

In the non-ablative regime, femtosecond laser pulse duration is known to affect the nature of the modification induced in the microstructure of fused silica. It has been demonstrated than below 200 fs, two different regimes are found, one at low energy, le ...

Spie-Int Soc Optical Engineering2017

Economical Analysis of a Pressurized Fluid-Based Process Applied for Phytochemicals Recovery in a Sustainable Biorefinery Concept for Brazilian Ginseng Roots

François Maréchal

A growing number of technologies are being developed in order to produce different high added value products, such as phytochemicals, ethanol and other chemicals from biomass, representing an important trend that needs to be evaluated. The use of pressuriz ...

Aidic Servizi Srl2016

Modelling Resource Dependencies

Simon Bliudze, Alena Simalatsar, Alina Zolotukhina

The major research in the resource management literature focuses primarily on two directions: 1) specification languages for formulating resource requests and 2) constraint problems modelling allocation and scheduling. Both directions assume the knowledge ...

2016

Automaton-based stochastic control for navigation of emergency rescuers in buildings

Maryam Kamgarpour, Tony Alan Wood

In this paper we consider the problem of navigating emergency rescuers in buildings. The objective of the rescuer is to reach several critical regions in a building endangered by a spreading hazard and leave safely. We consider stochastic finite state mode ...

IEEE2016

Dataflow Programs Analysis and Optimization Using Model Predictive Control Techniques. Two Examples of Bounded Buffer Scheduling: Deadlock Avoidance and Deadlock Recovery Strategies

Marco Mattavelli, Simone Casale Brunet, Endri Bezati

The analysis of the trace graphs generated by dataflow program executions has been shown to be an effective tool for exploring and optimizing the design space of application programs on manycore/multicore platforms. In this work a new approach aiming at fi ...

Springer2015

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Petri net

A semantic model-based systems engineering approach for assessing the operational performance of metal forming process

Retrait du carbone, net zéro et implications pour la Suisse

Towards semantics-driven modelling and simulation of context-aware manufacturing systems

Mutual Information for the Stochastic Block Model by the Adaptive Interpolation Method

Constraint-Flow Nets: A Model for Building Constraints from Resource Dependencies

Non-ablative femtosecond laser exposure of fused silica in the sub-50 fs regime (Conference Presentation)

Economical Analysis of a Pressurized Fluid-Based Process Applied for Phytochemicals Recovery in a Sustainable Biorefinery Concept for Brazilian Ginseng Roots

Modelling Resource Dependencies

Automaton-based stochastic control for navigation of emergency rescuers in buildings

Dataflow Programs Analysis and Optimization Using Model Predictive Control Techniques. Two Examples of Bounded Buffer Scheduling: Deadlock Avoidance and Deadlock Recovery Strategies

Graph Chatbot

Chat with Graph Search

Towards semantics-driven modelling and simulation of context-aware manufacturing systems

Mutual Information for the Stochastic Block Model by the Adaptive Interpolation Method

Non-ablative femtosecond laser exposure of fused silica in the sub-50 fs regime (Conference Presentation)

Economical Analysis of a Pressurized Fluid-Based Process Applied for Phytochemicals Recovery in a Sustainable Biorefinery Concept for Brazilian Ginseng Roots

Automaton-based stochastic control for navigation of emergency rescuers in buildings

Dataflow Programs Analysis and Optimization Using Model Predictive Control Techniques. Two Examples of Bounded Buffer Scheduling: Deadlock Avoidance and Deadlock Recovery Strategies

Retrait du carbone, net zéro et implications pour la Suisse

Constraint-Flow Nets: A Model for Building Constraints from Resource Dependencies