13 Hits in 5.5 sec

Page 4873 of Mathematical Reviews Vol. , Issue 2004f [page]

2004 Mathematical Reviews  
(F-PARIS12-LC; Créteil) A class of composable and preemptible high-level Petri nets with an application to multi-tasking systems.  ...  As an illustration, the paper gives an application to the modelling of a multi-tasking system in a parallel programming language, which is provided with a concurrent semantics based on Petri nets and for  ... 

Algebras of coloured Petri nets

Pommereau Franck
2019 Zenodo  
This document surveys my research work about a framework of composable coloured Petri nets.  ...  An implementation of the framework is also presented, as well as applications to the modelling and verification of security protocols, and to the modelling and analysis of biological regulatory networks  ...  The class of Petri nets with threads is the smallest class of Petri nets such that: if N is a Petri net with exceptions and task ∈ T, then task : N is a Petri net with threads; if N 1 and N 2 are Petri  ... 
doi:10.5281/zenodo.3478451 fatcat:okuk6z4gavaklbn4nvprilulxy

Statistical and exact schedulability analysis of hierarchical scheduling systems

Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikučionis, Ulrik Nyman, Arne Skou
2016 Science of Computer Programming  
We specifically investigate two different techniques to widen the set of provably schedulable systems: 1) a new supplier model; 2) restricting the potential task offsets.  ...  The multi-core framework presented in this paper is an extension of the single-core framework used for the analysis in the rest of the paper.  ...  Embedded hierarchical scheduling systems have reached a maturity level that enables their actual application on automotive and space systems [? ? ].  ... 
doi:10.1016/j.scico.2016.05.008 fatcat:mjmxh5mzafd57j57iypw7gh25m

Compositional Workflow Modeling with Priority Constraints

Behnaz Changizi, Natallia Kokash, Farhad Arbab, Leonid Makhnist
2020 Science of Computer Programming  
to influence the work reported in this paper.  ...  CRediT authorship contribution statement Declaration of competing interest The authors declare that they have no known competing financial interests or personal relationships that could have appeared  ...  Concurrent Petri nets [47] were proposed to model preemptible systems.  ... 
doi:10.1016/j.scico.2020.102578 fatcat:6ptheuwqwzgwxlrmaddqfh2pqe

Characterizing application scheduling on edge, fog, and cloud computing resources

Prateeksha Varshney, Yogesh Simmhan
2019 Software, Practice & Experience  
Scheduling applications on clouds has been an active area of research, with workflow and dataflow models serving as a flexible abstraction to specify applications for execution.  ...  We first characterize the resource capabilities and limitations of these infrastructure, and design a taxonomy of application models, Quality of Service (QoS) constraints and goals, and scheduling techniques  ...  Meta-heuristics are a class of high level guidelines that can be used to define heuristics to solve a wide class of optimization problems [24] .  ... 
doi:10.1002/spe.2699 fatcat:ywvul6s2j5hgthectdnbh7mnbq

Task Suspension in Agent Systems

Berndt Farwer
We discuss the similarity of a recent approach to task suspension in agent programming languages with an earlier approach to formalising preemption using a class of Petri nets, called M-nets.  ...  We argue that the theory of agent programming would benefit from adopting certain features of the Petri-net approach, and thus making further results for Petri nets applicable in the agent domain.  ...  An extension of an algebra of high-level Petri nets with operations for suspension and abortion is presented in [6, 5] .  ... 

User-defined schedulers for real-time concurrent objects

Joakim Bjørk, Frank S. de Boer, Einar Broch Johnsen, Rudolf Schlatte, S. Lizeth Tapia Tarifa
2012 Innovations in Systems and Software Engineering  
This thesis proposes a methodology for the modeling and analysis of object-oriented distributed applications that are able to adapt to changes in client traffic, so that they can keep desired levels of  ...  running in the cloud, both with respect to quality and with respect to development and deployment cost. iv v  ...  Bruce Berriman and Ewa Deelman for helping us with additional details of the Montage case study.  ... 
doi:10.1007/s11334-012-0184-5 fatcat:tt2rgrdgubdobm2mq5kwtq2xkm

Page 2321 of Mathematical Reviews Vol. , Issue Index [page]

Mathematical Reviews  
(English summary) 2004i:68164 Klaudel, Hanna (with Pommereau, Franck) A class of composable and preemptible high-level Petri nets with an application to multi-tasking systems.  ...  Nested Petri nets: multi-level and recursive systems. (English summary ) 2004i:68165 — Modeling dynamic objects in distributed systems with nested Petri nets.  ... 

Scheduling with timed automata

Yasmina Abdeddaı¨m, Eugene Asarin, Oded Maler
2006 Theoretical Computer Science  
We then extend these results to synthesize adaptive scheduling strategies for problems with uncertainty in task durations.  ...  In this work, we present timed automata as a natural tool for posing and solving scheduling problems.  ...  Yet another interesting question is how to adapt this theory to resource-bounded schedulers which have to control a fast environment without access to huge tables and with a restricted utilization of clocks  ... 
doi:10.1016/j.tcs.2005.11.018 fatcat:6imydoapfvdjdgesr34qcexxnm

Page 1246 of Mathematical Reviews Vol. , Issue Index [page]

Mathematical Reviews  
(see 2004j:68020) 94A60 (81P68) Klaudel, Hanna (with Pommereau, Franck) A class of composable and preemptible high-level Petri nets with an application to multi-tasking systems.  ...  (with Kroner, Dietmar; Klimmek, A.; Trescher, D.) Numerical optimization of scavenging in two-stroke engines with transfer ducts, an exhaust port and a moving piston.  ... 

Page 1988 of Mathematical Reviews Vol. , Issue Index [page]

Mathematical Reviews  
Mech. 84 (2004), no. 1, 48-52. 34D20 (70325) Pommereau, Franck (with Klaudel, Hanna) A class of composable and preemptible high-level Petri nets with an application to multi-tasking systems.  ...  (Summary) 2004a:93045 93C10 (93B60) — (with Quadrat, Alban) A functorial approach to the behaviour of multidimensional control systems.  ... 

Towards a new methodology for design, modelling, and verification of reconfigurable distributed control systems based on a new extension to the IEC 61499 standard [article]

Safa Guellouz Ep Addad, Universität Des Saarlandes
As a result, an evaluation of system performance and an estimation of reconfiguration risks are obtained. The RFBA methodology is applied on a distributed power system case study.  ...  The latter aims to transform the designed RFB model automatically into a generalised reconfigurable timed net condition/event system model (GRTNCES) using a newly developed environment called RFBTool.  ...  The authors foreground an ontological representation of low-level agents to permit high-level control and initiate a reconfiguration process for low-level control.  ... 
doi:10.22028/d291-34818 fatcat:mmwm4iequfhbncdiukphi5yzoe

Code generation from on-board software models conforming to the On-board Software Reference Architecture (OSRA) using DLR software technologies [article]

Raghuraj Tarikere Phaniraja Setty, Universität Stuttgart, Universität Stuttgart
The SCM aims to model application software as a set of independent software components which interact with each other via clearly defined interfaces with certain guarantees.  ...  The European Space Agency (ESA) and its industrial partners have come up with the concept of On-board Software Reference Architecture (OSRA); with an aim of favoring the adoption of a software reference  ...  Acknowledgments I am using this opportunity to express my gratitude to everyone who supported me throughout the course of this Master thesis. I would like to first of all thank my  ... 
doi:10.18419/opus-10028 fatcat:qcv4ug3tr5fo5bak4gpft4cdkq