Publications associées à Réseau de Petri

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

Dimitrios Kyritsis, Jinzhi Lu, Xiaochen Zheng

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

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

Damiano Nunzio Arena

Systems modelling and simulation are two important facets for thoroughly and effectively analysing manufacturing processes. The ever-growing complexity of the latter, the increasing amount of knowledge, and the use of Semantic Web techniques adhering meani ...

EPFL2019

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

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

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

A Mapping-Scheduling Algorithm for Hardware Acceleration on Reconfigurable Platforms

David Atienza Alonso, Ivan Beretta, Juan Antonio Clemente Barreira

Reconfigurable platforms are a promising technology that offers an interesting trade-off between flexibility and performance, which many recent embedded system applications demand, especially in fields such as multimedia processing. These applications typi ...

Assoc Computing Machinery2014

Formalization, Implementation, and Modeling of Institutional Controllers for Distributed Robotic Systems

Alcherio Martinoli, José Nuno Ferreira Maia Pereira

The work described is part of a long term program of introducing institutional robotics, a novel framework for the coordination of robot teams that stems from institutional economics concepts. Under the framework, institutions are cumulative sets of persis ...

2014

Towards a diffusion image processing validation and accuracy prediction framework

Jean-Philippe Thiran, Meritxell Bach Cuadra, Alessandro Daducci, Alia Lemkaddem, Cristina Granziera, Gloria Menegaz

Validation is the main bottleneck preventing the adoption of many medical image processing algorithms in the clinical practice. In the classical approach, a-posteriori analysis is performed based on some objective metrics. In this work, a different approac ...

2011

Formalisms for Specifying Markovian Population Models

Barbara Jobstmann, Verena Wolf

We compare several languages for specifying Markovian population models such as queuing networks and chemical reaction networks. These languages -matrix descriptions, stochastic Petri nets, stoichiometric equations, stochastic process algebras, and guarded ...

Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2009

Soundness and Equivalence of Petri Nets and Annotated Finite State Automate: A Comparison in the SOA Context

A lot of work exists on notions of equivalence and soundness relations of different workflow models, which are used in different domains like e.g. Business Process Modeling, Software and Service Engineering. These definitions are based on different models, ...

IEEE2007