Compositions of (max, +) automata

This paper presents a compositional modeling approach by means of (max, +) automata. The motivation is to be able to model a complex discrete event system by composing sub-models representing its elementary parts. A direct modeling of safe timed Petri nets using (max, +) automata is first introduced...

Full description

Saved in:
Bibliographic Details
Published in:Discrete event dynamic systems 2015-06, Vol.25 (1-2), p.323-344
Main Authors: Lahaye, Sébastien, Komenda, Jan, Boimond, Jean-Louis
Format: Article
Language:English
Subjects:
Composing
Control
Convex and Discrete Geometry
Discrete event systems
Dynamical systems
Dynamics
Electrical Engineering
Engineering Sciences
Machines
Manufacturing
Mathematics
Mathematics and Statistics
Merging
Operations Research/Decision Theory
Petri nets
Processes
Synchronous
Systems Theory
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:This paper presents a compositional modeling approach by means of (max, +) automata. The motivation is to be able to model a complex discrete event system by composing sub-models representing its elementary parts. A direct modeling of safe timed Petri nets using (max, +) automata is first introduced. Based on this result, two types of synchronous product of (max, +) automata are proposed to model safe timed Petri nets obtained by merging places and/or transitions in subnets. An asynchronous product is finally proposed to represent particular bounded timed Petri nets.
ISSN:0924-6703
1573-7594
DOI:10.1007/s10626-014-0186-6