A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
Filters
Synchronization and Linearity: An Algebra for Discrete Event Systems
1994
Journal of the Operational Research Society
Preserved Fulltext
and all L A T E X cross-references are automatically converted into clickable hyperlinks, bookmarks are generated automatically, etc.. ...
In the present release, alterations of the original text are mild and need no special mention: they concern typographic style (which may result in a different pagination with respect to the original paper ...
However, this requires an algebraic foundation which appeals to isomorphisms, quotients of dioids by congruences and residuation theory. ...
doi:10.2307/2583959
fatcat:cx7pfvwhk5cshanzmfjwzjyizy
Half a century after Carl Adam Petri's Ph.D. thesis: A perspective on the field
2013
Annual Reviews in Control
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.
Later, many other new lines of activity, including logic control and performance evaluation, flourished in Europe. Today Petri nets are widespread all over the world. ...
for Standardization) or IEC (International Electrotechnical Commission) standards for the use of Petri nets in engineering, this work cannot hope to be a complete survey or a tutorial in the more classical ...
All of them started to work on Petri nets around 1973 -1975 , who started to work on stochastic Petri nets at the very beginning of the 1980s, and was initially inspired by contributions from UCLA. ...
doi:10.1016/j.arcontrol.2013.09.001
fatcat:othq33ivp5hdtpxqiwznkek6pe
Max-Plus-Linear Systems for Modeling and Control of Manufacturing Problems
[chapter]
2017
Mathematics in Industry
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.
Second, standard open-loop and closed-loop control structures for (max, +)-linear systems are recalled. ...
First, we discuss the modeling of such systems by linear statespace models in the (max, +)-algebra (due to this property, such systems are often called (max, +)-linear systems). ...
Dioid Theory Dioids (or idempotent semirings) are algebraic structures which play a major role in the modeling of (max, +)-linear systems.
Definition 1 (Dioid). ...
doi:10.1007/978-3-319-63957-4_3
fatcat:wprrdiqf75hbrgghmh5nvp5oe4
Periodic trajectories in P-time event graphs and the non-positive circuit weight problem
[article]
2021
arXiv
pre-print
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.
Other Versions
In graph theory, the Proportional-Inverse-Constant-Non-positive Circuit weight Problem (PIC-NCP) consists in finding all the values of a parameter such that a particular parametric weighted directed graph ...
for the existence of a consistent d-periodic trajectory of the same period, for any value of d. ...
In contrast, in P-TEGs the time evolution of the marking is non-deterministic, since transitions are not required to fire as soon as they are enabled. ...
arXiv:2103.01024v3
fatcat:p4n6b5w6n5co3emj42i3agcvhu
Switched Max-Plus Linear-Dual Inequalities: Application in Scheduling of Multi-Product Processing Networks
[article]
2022
arXiv
pre-print
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.
P-time event graphs are discrete event systems suitable for modeling processes in which tasks must be executed in predefined time windows. ...
We define a new class of models called switched LDIs (SLDIs), which allow to switch between different modes of operations, each corresponding to an LDI, according to an infinite sequence of modes called ...
This would imply that SLDIs can be used to represent and solve scheduling problems for systems modeled by safe P-time Petri nets (cf. Komenda et al. [2020] ). ...
arXiv:2204.01156v1
fatcat:ryusy4usqzbkbjhc2axvq5qd44
Idempotent and tropical mathematics and problems of mathematical physics (Volume I)
[article]
2007
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
a place of the Petri Net. ...
This method can be applied to the crossing and we obtain a Petri net with negative weights which has only one arc leaving each place (that we call deterministic Petri net) see Figure 6 . ...
arXiv:0710.0377v1
fatcat:lmpf3edgbzbvzflbzx2j3izt6m
Concurrent Dynamic Algebra
[article]
2014
arXiv
pre-print
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 modal operators of concurrent dynamic algebra are obtained from abstract axioms for domain and antidomain operators; the Kleene star is modelled as a least fixpoint. ...
Algebraic variants of Peleg's axioms are shown to be valid in these algebras and their soundness is proved relative to the multirelational model. ...
at Kyushu University for a pleasant short stay and financial support. ...
arXiv:1407.5819v1
fatcat:bfbftlau55czhd6kg6zmqkxiym
Concurrent Kleene Algebra of Partial Strings
[article]
2014
arXiv
pre-print
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.
Other Versions
In particular, it gives a foundation for the analysis of programs that concurrently access relaxed memory as shown in subsequent work. ...
Concurrent Kleene Algebra (CKA) is a recently proposed algebraic structure by Hoare and collaborators that unifies the laws of concurrent programming. ...
The fact that all these works use partial orders to describe the dependency between events means that there is a close connection to the unfolding of petri nets to occurrence nets, an active research area ...
arXiv:1407.0385v4
fatcat:qvpfv26r3bdifpobbx3dg55bty
An introduction to idempotency
[chapter]
Idempotency
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 2016; you can also visit the original URL.
The file type is application/pdf.
More recently, intriguing new connections have emerged with automata theory, discrete event systems, nonexpansive mappings, nonlinear partial differential equations, optimisation theory and large deviations ...
and these topics are discussed further in the subsequent sections of this paper. ...
If there is a hierarchy of Petri net models then free choice nets are the obvious candidate for the next level of complexity beyond event graphs. ...
doi:10.1017/cbo9780511662508.003
fatcat:3ov5ss734bh3leqypri33hdd7y
What Shape Is Your Conjugate? A Survey of Computational Convex Analysis and Its Applications
2010
SIAM Review
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 2015; you can also visit the original URL.
The file type is application/pdf.
morphology operators), partial differential equations (solving Hamilton-Jacobi equations, and using differential equations numerical schemes to compute the convex envelope), max-plus algebra (computing ...
Our objective is to disseminate widely the most efficient numerical algorithms useful for applications in image processing (computing the distance transform, the generalized distance transform, and mathematical ...
Hiriart-Urruty for a careful reading of the manuscript which greatly improved the paper, Pr. W. Hare for pointing out several typos, and Pr. H. H. ...
doi:10.1137/100788458
fatcat:es26qkvsebh5lkiafnnqkb3h34
What Shape Is Your Conjugate? A Survey of Computational Convex Analysis and Its Applications
2009
SIAM Journal on Optimization
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 2015; you can also visit the original URL.
The file type is application/pdf.
morphology operators), partial differential equations (solving Hamilton-Jacobi equations, and using differential equations numerical schemes to compute the convex envelope), max-plus algebra (computing ...
Our objective is to disseminate widely the most efficient numerical algorithms useful for applications in image processing (computing the distance transform, the generalized distance transform, and mathematical ...
Hiriart-Urruty for a careful reading of the manuscript which greatly improved the paper, Pr. W. Hare for pointing out several typos, and Pr. H. H. ...
doi:10.1137/080719613
fatcat:htdlaubydjf3xez3s7h2ovbko4
Discrete event systems with standard and partial synchronizations
[article]
2015
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.
Furthermore, transfer relation and model reference control are provided for the secondary system under a predefined behavior of the main system. ...
Optimal feedforward control and model predictive control for (max,+)-linear systems are extended to (max,+)-systems with partial synchronization. ...
Depending on the selected modeling approaches, di erent theories, such as supervisory control theory for nite-state automata [ ] or state-based control for Petri nets (e.g., [ ]), have been introduced ...
doi:10.14279/depositonce-4398
fatcat:dipvu6jwa5d7zfpdcibis2jhvm
Selected papers from the 3rd international workshop on QoS in multiservice IP networks (QoS-IP 2005)
2006
Computer Networks
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.
The schemes are analyzed by applying the Markov decision process theory. A linear programming technique is used to derive the optimal routing policy. Packet level schemes are also considered. ...
The authors propose a mechanism for bandwidth dimensioning based on a hybrid combination of analytical and simulation models. ...
Acknowledgements This work was supported in part by an Emmy Noether grant of the German Research Foundation (DFG) and in part by the Centre for Quantifiable Quality of Service in Communication Systems ...
doi:10.1016/j.comnet.2005.09.014
fatcat:5s67orhzgvbyhkt52bo5epf6b4
SLA Calculus
2015
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.
For modeling Service-Oriented Architectures (SOAs) and validating worst-case performance guarantees a deterministic modeling method with efficient analysis is presented. ...
SOAs are a system design paradigm that encapsulate software functions in service applications. ...
Otherwise, approximative methods for non-product-form nets can be applied. ...
doi:10.17877/de290r-7135
fatcat:abrbo4vaujhibgq7p7hychtyxq