The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Filters
Page 4873 of Mathematical Reviews Vol. , Issue 2004f
[page]
2004
Mathematical Reviews
Preserved Fulltext
(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
2019
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2016
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2020
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2019
Software, Practice & Experience
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2019 pre-print arXiv:1904.10125v1 fatcat:uzw7cybjrrflpfxmbjok3t6gle
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
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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] . ...
fatcat:uyapy24q2zednmmexe2qfbn63q
User-defined schedulers for real-time concurrent objects
2012
Innovations in Systems and Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
(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
2006
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
(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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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]
2021
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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]
2018
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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