Comparison of Different Semantics for Time Petri Nets

International audienceIn this paper we study the model of Time Petri Nets (TPNs) where a time interval is associated with the firing of a transition, but we extend it by considering general intervals rather than closed ones. A key feature of timed models is the memory policy, i.e. which timing informations are kept when a transition is fired. The original model selects an \emphintermediate semantics where the transitions disabled after consuming the tokens, as well as the firing transition, are reinitialised. However this semantics is not appropriate for some applications. So we consider here two alternative semantics: the \emphatomic and the \emphpersistent atomic ones. First we present relevant patterns of discrete event systems which show the interest of these semantics. Then we compare the expressiveness of the three semantics w.r.t. the weak time bisimilarity establishing inclusion results in the general case. Furthermore we show that some inclusions are strict with unrestricted intervals even when nets are bounded. Then we focus on bounded TPNs with upper-closed intervals and we prove that the semantics are equivalent. Finally taking into account both the practical and the theoretical issues, we conclude that persistent atomic semantics should be preferred

Rôle du médecin d'unité dans la prise en charge de l'asthme à l'engagement dans la Marine nationale (répercussion sur l'aptitude et pertinence de la décision)

AIX-MARSEILLE2-BU Méd/Odontol. (130552103) / SudocPARIS-Bib. Serv.Santé Armées (751055204) / SudocPARIS-BIUM (751062103) / SudocSudocFranceF

Estimation du champ de contrainte dans le massif granitique de Soultz-sous-Forêts (implication sur la rhéologie de la croûte fragile)

PARIS-BIUSJ-Sci.Terre recherche (751052114) / SudocSudocFranceF

The Expressive Power of Time Petri Nets

International audienc

The Expressive Power of Time Petri Nets

International audienc

Channel Synthesis for Finite Transducers

International audienceno abstrac

A randomized phase II trial assessing in advanced non-small cell lung cancer patients with stable disease after two courses of cisplatin-gemcitabine an early modification of chemotherapy doublet with paclitaxel-gemcitabine versus continuation of cisplatin-gemcitabine chemotherapy (GFPC 03-01 Study).

International audienceBACKGROUND: There is no consensus on the optimal treatment for patients with advanced non-small cell lung cancer and stable disease after cisplatin-based chemotherapy. The objective of the trial was to evaluate a switch to a different dual-agent chemotherapy. METHODS: Patients with stage IV non-small cell lung cancer and stable disease after two cycles of cisplatin (P) and gemcitabine (G) (P day1 (d(1)): 75 mg/m(2), G: 1250 mg/m(2) d(1) and d(8) every 3 weeks) were randomized to receive either two further cycles of PG (arm A) or paclitaxel (100 mg/m(2) d(1), d(8), d(15)) plus gemcitabine (1250 mg/m(2) d(1) and d(8), every 4 weeks) (arm B). RESULTS: Two-hundred-twenty-eight patients were enrolled between October 2003 and August 2006. After two cycles of PG, 98 patients (43%) had stable disease; 87 were randomized: 45 to arm A and 42 to arm B. The objective response rates were 15.6% (6.5-29.4) and 21.4% (10.3-36.8) in arms A and B. Overall survival after randomization was 9.6 months (7.0-13.8) in arm A and 9.3 months (7.4-13.3) in arm B. Adverse events were similar in the two arms for hematological and non hematological toxicities. CONCLUSIONS: Sequential first-line chemotherapy in these patients is feasible with no difference in response rates. These results do not warrant a phase III trial

SI JE N'AVAIS PLUS / Ch. AZNAVOUR. NOUS PARTIRONS DEMAIN A L'AUBE / Cl. H. VIC - G. BERARD. QUAND ON N'A QUE L'AMOUR / J. BREL. J'EN APPELLE / J. BREL ; Vera GRAN ; Acc. par Tito FUGGI et son Orchestre

BnF-Partenariats, Collection sonore - BelieveContient une table des matière