caa a22 4500 445822724 CHVBK 20180317145249.0 cr unu---uuuuu 170323e20110901xx s 000 0 eng 10.1007/s10626-011-0102-2 doi (NATIONALLICENCE)springer-10.1007/s10626-011-0102-2 On the composition of time Petri nets [Elektronische Daten] [Florent Peres, Bernard Berthomieu, François Vernadat] Complex systems are often designed and built from smaller pieces, called components. Components are open sub-systems meant to be combined (or composed) to form other components or closed systems. It is well known that Petri nets allow such a component based modeling, relying on parallel composition and transition synchronization. However, synchronizing transitions that carry temporal constraints does not yield a compositional method for assembling components, a highly desirable property. The paper addresses this particular problem: how to build complex systems in a compositional manner from components specified by Time Petri nets (TPN). A first solution is proposed, adequate for a particular subclass of Time Petri nets but significantly increasing the complexity of components. Then an improved solution is developed, relying on an extension of Time Petri nets with two relations added on transitions. This latter solution requires a much simpler transformation of nets, does not significantly increase their complexity, and is applicable to a larger class of TPN. Springer Science+Business Media, LLC, 2011 Composition nationallicence Time Petri nets nationallicence Compositionality nationallicence Peres Florent Université Lille Nord de France, 59000, Lille, France aut Berthomieu Bernard CNRS; LAAS, 7 avenue du colonel Roche, 31077, Toulouse, France aut Vernadat François CNRS; LAAS, 7 avenue du colonel Roche, 31077, Toulouse, France aut Discrete Event Dynamic Systems Springer US; http://www.springer-ny.com 21/3(2011-09-01), 395-424 0924-6703 21:3<395 2011 21 10626 https://doi.org/10.1007/s10626-011-0102-2 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/s10626-011-0102-2 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Peres Florent Université Lille Nord de France, 59000, Lille, France aut NATIONALLICENCE 700 1- Berthomieu Bernard CNRS; LAAS, 7 avenue du colonel Roche, 31077, Toulouse, France aut NATIONALLICENCE 700 1- Vernadat François CNRS; LAAS, 7 avenue du colonel Roche, 31077, Toulouse, France aut NATIONALLICENCE 773 0- Discrete Event Dynamic Systems Springer US; http://www.springer-ny.com 21/3(2011-09-01), 395-424 0924-6703 21:3<395 2011 21 10626 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer