From honeydew.srv.cs.cmu.edu!das-news.harvard.edu!noc.near.net!howland.reston.ans.net!europa.eng.gtefsd.com!uunet!sparky!rick Thu Aug 26 12:31:33 EDT 1993 Article: 4535 of news.announce.conferences Xref: honeydew.srv.cs.cmu.edu news.announce.conferences:4535 Newsgroups: news.announce.conferences Path: honeydew.srv.cs.cmu.edu!das-news.harvard.edu!noc.near.net!howland.reston.ans.net!europa.eng.gtefsd.com!uunet!sparky!rick From: youcef@kim.laas.fr (Youcef Atamna) Subject: Fifth International Workshop On Petri Nets And Performance Models (PNPM 93) Message-ID: <1993Aug25.225306.19465@sparky.sterling.com> Sender: rick@sparky.sterling.com (Richard Ohnemus) Organization: LAAS-Centre National de la Recherche Scientifique Toulouse, France Date: Wed, 25 Aug 1993 22:53:06 GMT Approved: rick@sparky.sterling.com Expires: Sat, 23 Oct 1993 08:00:00 GMT Lines: 702 X-Md4-Signature: cf3f9ca9d132ce0f2f8968f91f2895fb Dear friends, I apologize for any inconvenience caused by multiple receipts of the advance programme of the PNPM93 conference. But as we have holidays during July and August in LAAS laboratory, I would like to precise the calendar of the persons that you can contact for obtaining informations on the conference and the tutorial: Guy Juanole: can be contacted all the time except from August 1 to August 10 E-mail: juanole@laas.fr Youcef Atamna: is absent from July 22 to September 4; can be contacted from September 5 E-mail: Youcef@laas.fr However, you can contact all the time for what concerns the registration and for asking the conference booklet and the hotel booking form: Martine Bost SITEF - Chambre de Commerce et d'Industrie de Toulouse B.P 606 31002 TOULOUSE CEDEX - FRANCE Tel: (33) 61.33.66.98 Fax: (33) 61.25.42.60 I hope to see you at the conference. Guy Juanole PS: Please broadcast these informations to your environnement. ###### # # ###### # # ##### ##### # # ## # # # ## ## # # # # # # # # # # # # # # # # # # ###### # # # ###### # # # ###### ##### # # # # # # # # # # # ## # # # # # # # # # # # # # ##### ##### PNPM 93 FIFTH INTERNATIONAL WORKSHOP ON PETRI NETS AND PERFORMANCE MODELS Tutorial Day : 19 October 1993 Conference : 20-22 October 1993 Tool Exhibition : 20-22 October 1993 Toulouse, France Sponsored by : LAAS-CNRS SITEF In Co-operation with : Association for Computing Machinery (ACM) IEEE Computer Society Association Francaise des Sciences et Technologies de l'Information et des Systemes (AFCET) Advisory Committee : M.AJMONE MARSAN (Italy) J.BILLINGTON (Australia) G.FLORIN (France) M.MOLLOY (USA) (Chairman) T.MURATA (USA) K.ONAGA (Japan) ******* ADVANCE PROGRAMME ******* * General C0-Chairmen : Alain COSTES, LAAS-CNRS, INP, Toulouse Michel DIAZ, LAAS_CNRS, Toulouse Georges FARRE, CCIT, Toulouse * International Programme Committee Co-Chairman : Guy JUANOLE, LAAS-CNRS, UPS, Toulouse Stephane NATKIN, CEDRIC-CNAM, Paris * International Programme Committee : M.AJMONE MARSAN (Italy) S.KUNAGAI (Japan) H.AMMAR (USA) J.MAGOTT (Poland) F.BACCELLI (France) R.MARIE (France) G.BALBO (Italy) M.MOLLOY (USA) H.BEILNER (Germany) T.MURATA (USA) J.BILLINGTON (Australia) L.OJALA (Finland) G.CIARDO (USA) K.ONAGA (Japan) G.CHIOLA (Italy) W.H.SANDERS (USA) G.CONTE (Italy) M.SILVA (Spain) R.DAVID (France) D.SIMPSON (UK) G.FLORIN (France) K.TRIVEDI (USA) S.HADDAD (France) R.VALETTE (France) B.HENDERSON (Australia) M.VERNON (USA) K. JENSEN (Denmark) C.M.WOODSIDE (Canada) G.KLAS (Germany) W.M.ZUBERECK (Canada) * Organising Committee : Youcef ATAMNA, LAAS-CNRS, Toulouse Alain Dreuil, SITEF, Toulouse Marie-Therese IPPOLITO, LAAS-CNRS, Toulouse Joelle PENNAVAYRE, LAAS-CNRS, Toulouse Hubert SEGUELA, SITEF, Toulouse ******* SCOPE of WORKSHOP ******* The workshop provides a forum for the presentation of original contributions in the area of models based on Petri-Ntes and including time specifications and tools for performance evaluation and system design. Topics ------ * New developments in timed and stochastic Petri nets, including high-level stochastic nets * Analysis methods for timed and stochastic nets * Advances in incorporating time into nets, while retaining the results of General Net theory * Relationships with other formal systems where timed extensions are being developed (e.g process algebras, formal description techniques ...) * Application of nets to the design and performance evaluation of systems including computing, commnications and time constrains : multimedia, office automation, flexible manufacturing systems, communication networks, real time systems, operations researsh ... * Computer aids for the analysis of Petri nets models * Educational issues, including the role of Petri nets in teaching concurrency ******* Tutorial Programme ******* *** Tuesday 19 October 1993 *** * LAAS-CNRS * 8 h.30 - 9 h.00 Registration 9 h.00 - 10 h.15 Coloured Petri Nets K.Jensen (Aarhus University, Denmark) 10 h.15 - 11 h.00 Structural Analysis of Coloured Petri Nets S. Haddad (Universite Pierre & Marie Curie, Paris, France) 11 h.00 - 11 h.30 Break 11 h.30 - 13 h.00 Time and Stochastic Petri Nets S. Natkin (CEDRIC-CNAM, Paris, France) 13 h.00 - 14 h.00 Lunch 14 h.00 - 15 h.15 Generalized and Deterministic Stochastic Petri Nets (GSPN and DSPN) G. Ciardo (College of William & Mary, Williamsburg, VA, USA) 15 h.15 - 16 h.00 Stochastic Well Formed Coloured Petri Nets (SWN) G. Chiola (Universita di Torino, Italy) 16 h.00 - 16 h.30 Break 16 h.30 - 17 h.30 Convex Geometry/Linear Algebra Techniques M. Silva (Univeristad de Saragoza, Spain) 17 h.30 - 18 h.30 Recursive Evolution Equation for Timed Petri Nets (max + approach) F. Baccelli (INRIA, Sophia Antipolis, France) 18 h.30 - 20 h.00 Welcome reception (LAAS-CNRS, Toulouse) ******* Workshop Programme ******* *** Wednesday 20 October 1993 *** * SITEF - PARC DES EXPOSITIONS * 8 h.00 - 9 h.00 Regristration 9 h.00 - 9 h.30 Opening Session A. Costes (LAAS-CNRS, INP, Toulouse, France) G. Farri (CCIT, Toulouse, France) 9 h.30 - 10 h.30 Invited Talk Quantitative Evaluation of Discrete Event Systems: Models, Performances and Techniques R. Marie (IRISA, Rennes, France) A. Jean Marie (INRIA, Sophia Antipolis, Valbonne, France) 10 h.30 - 11 h.00 Break 11 h.00 - 12 h.30 Session 1: Extended Models Chairperson: R. Marie (IRISA, Rennes, France) Queueing Petri Nets: a Formalism for the Combined Qualitative and Quantitative Analysis of Systems F. Bause (Universitat Dortmund, Germany) Definition of the model "Stochastic Timed Well Formed Coloured Nets" Y. Atamna (LAAS-CNRS, Toulouse, France) A Reactive Real-Time Systems Modelling and Programming Aid Tool Based on the Synchronous Petri Nets Formalism R. Hilal and P. Ladet (LAG, Grenoble, France) 12 h.30 - 14 h.00 Lunch 14 h.00 - 16 h.00 Session 2: Analysis Chairperson: M. Molloy (Hewlett-Packard, USA) Towards a Simplified Building of Time Petri Nets Reachability Graph H. Boucheneb and G. Berthelot (IIE-CNAM, Evry, France) Decidability of the Strict Reachability Problem for TPN's with Rational and Real Durations V. Valero Ruiz and F. Cuartero Gomez (Universitad Castilla-La Mancha, Albacete, Spain) D. de Frutos Escrig (Universitad Complutense, Madrid, Spain) On the Structural and Behavioural Characterization of P/TNets G. Chiola (Universita di Torino, Italy) How to Find Firing Conflict Sets in Coloured Generalized Stochastic Petri Nets C. Dutheillet and S. Haddad (Universite Pierre & Marie Curie, Paris, France) 16 h.00 - 16 h.15 Break 16 h.15 - 17 h.15 Tools Session Chairperson: S. Kumagai (Osaka University, Japan) 17 h.30 Reception at the City Hall *** Thursday 21 October 1993 *** * SITEF - PARC DES EXPOSITIONS * 9 h.00 - 10 h.00 Invited Talk Constructive Modelling and Design, Basic research within the European QMIPS-Project U. Herzog (Universitat Erlangen, Germany) 10 h.00 - 10 h.30 Break 10 h.30 - 12 h.00 Session 3: Product form Solutions Chairperson: H.Beilner (universitat Dortmund, Germany) Computational Algorithms for Product form Solution Stochastic Petri Nets M. Sereno and G. Balbo (Universita di Torino, Italy) Algorithms for Product form Stochastic Petri Nets - A New Approach J.L. Coleman, W. Hendderson, C.E.M. Pearce and P.G. Taylor (University of Adelaide, Australia) A Characterisation of Independence for Competing Markov Chains with Applications to Stochastic Petri Nets R.J. Boucherie (INRIA, Sophia Antipolis, Valbonne, France) 12 h.00 - 14 h.00 Lunch 14 h.00 - 15 h.30 Session 4: Performance Bounds Chairperson: F. Baccelli (INRIA, Sophia Antipolis, Valbonne, France) Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds G. Chiola and C. Anglamo (Universita di Torino, Italy) J. Campos, J.M. Colom and M. Silva (Universitad de Zaragoza, Spain) A General Iterative Technique for Approximate Throughput Computation of Stochastic Marked Graphs J. Campos, J.M. Colom, H. Jungnitz and M. Silva (University of Zaragoza, Spain) Computing Bounds for the Performance Indices of Quasi-Lumpable Stochastic Well-Formed Nets G. Franceschinis (Universita di Torino, Italy) R.R. Muntz (University of California at Los Angeles, CA, USA) 16 h.00 - 17 h.30 Session 5: Non Markovian Models Chairperson: M.Ajmone Marsan (Universita di Torino, Italy) Analysis of Deterministic and Stochastic Petri Nets G. Ciardo (College of William & Mary, Williamsburg, USA) C. Lindemann (Technische Universitat Berlin, Germany) A Characterization of the Stochastic Process Underlying a Stochastic Petri Net G. Ciardo (College of William & Mary, Williamsburg, VA, USA) R. German and C. Lindemann (Technische Universitat Berlin, Germany) Sensitivity Analysis of Markov Regenerative Stochastic Petri Nets V. Mainkar, H. Chio and S. Trivedi (Duke University, Durham, NC, USA) 18 h.00 - 24 h.00 Banquet at Chambre de Commerce et d'Industrie de Toulouse. *** Friday 22 October 1993 *** * SITEF - PARC DES EXPOSITIONS * 9 h.00 - 10 h.00 Invited Talk The Implications of Industrial Systems' Complexity on Methodologies for System Design and Evaluation E. Schmitter (Siemens AG, Germany) 10 h.00 - 10 h.30 Break 10 h.30 - 12 h.00 Session 6: Methodology 1 Chairperson: G. Balbo (Universita di Torino, Italy) Synthesis of GSPN Models for Workload Mapping on Concurrent Architectures D. Abatti, S. Castelli, G. Conte and F. Zanichelli (Universita di Parma, Italy) Aggregation and Reduction Techniques for Hierarchical GCSPNs P. Buchholz (Universitat Dortmund, Germany) Parallel Architectures with Regular Structure: a Case Study in Modelling using Stochastic Well-Formed Colored Petri Nets C. Anglano, S. Donatelli and R. Gaeta (Universita di Torino, Italy) 12 h.00 - 14 h.00 Lunch 14 h.00 - 15 h.30 Session 7: Methodology 2 Chairperson: H.H. Ammar (West Virginia University, USA) Fast Simulation of Rare Events in Stochastic Petri Nets J. Dunkel (Universtat Dortmund, Germany) Automated Time Scale Decomposition and Analysis of Stochastic Petri Nets A. Blakemore and S. K. Tripathi (University of Maryland, College Park, MD, USA) A Methodology for Formal Expression of Hierarchy in Model Solution M. Malhotra and K.S. Trivedi (Duke University, Durham, NC, USA) 15 h.30 - 16 h.00 Break 16 h.00 - 17 h.30 Session 8: Applications Chairperson: G. Florin (CNAM, Paris, France) On Scalable Net Modelling of OLTP L. Cherkasova, V. Kotov (Hewlett-Packard Lab., Palo Alto, CA, USA) T. Rokicki (Stanford University, CA, USA) Validation and Performance Analysis of Network Algorithms by Coloured Petri Nets H. Clausen and P.R. Jensen (Aarhus University, Denmark) GSPN Modelling Methods for Performance and Dependability Evaluation of a Real-Life Flexible Manufacturing System B. Mazigh (IRP de Mulhouse, France) F. Simon (IRP & Siemens Corporate R&D, Munich, Germany) 17 h.30 - 18 h.00 Closing Session Chairperson: G. Juanole (LAAS-CNRS, UPS, Toulouse, France) * Tutorial Site : --------------- The Tutorial will be held at : LAAS-CNRS 7, Avenue du Colonel Roche 31077 TOULOUSE CEDEX FRANCE E-mail : juanole@laas.fr youcef@laas.fr Fax: +33.61.33.64.11 Phone : +33.61.33.62.58 * Workshop Site : -------------- The workshop and tools exhibition will be held at : SITEF Parc des Expositions de Toulouse Rond-Point Michel Benech 31000 TOULOUSE FRANCE Phone and fax numbers, as well as email will be communicated on your arrival. * SITEF Exhibition : ----------------- As a multi-disciplinary fair integrating sciences and technologies, SITEF is a major focal point for exchanges between professionnals from different areas of activities (Aeronautics, Space, Data Processing, Automation, Microelectronics, Telecommunication ...). In fact : 752 exhibitors (70 laboratories, 182 foreign exhibitors from 23 differents countries) will be present from 19 to 23 October. A pass will be offered to every PNPM93 participant. * Language : --------- The official conference language will be English * Registration : ------------- Registration of participants should be made on the enclosed registration form, to be sent with payment to : SITEF Chambre de Commerce et d'Industrie de Toulouse (CCIT) B.P. 606 31002 TOULOUSE CEDEX FRANCE Phone : +33.61.33.66.98 fax : +33.61.25.42.60 Telex : 531.877.F Your contact is Mrs Martine BOST All matters relating registrations will be handled by the SITEF in the adress above. On receipt of the registration and payment, an invoice will be sent to participants. * Registration Fees : =================== Tutorial Workshop Registration * PNPM93 Tutorial (October 19) : ============================== -Before September 15 : Member (*): 1500 FF Non-Member: 1875 FF Student: 500 FF -After September 15 : Member : 1750 FF Non-Member: 2200 FF Student: 700 FF * PNPM93 Workshop (October 20-22) : ================================ -Before September 15 : Member (*): 2250 FF Non-Member: 2750 FF Student: 900 FF -After September 15 : Member : 2700 FF Non-Member: 3250 FF Student: 1000 FF (*) ACM or AFCET or IEEE Member. The workshop registration includes a copy of the workshop proceedings, coffee breaks, lunches and banquet. Student registration does not include lunches nor the banquet. * Exchange Rates : ================ Approximatively: 1USD: 5.20 100DM: 326.00 100 FB: 15.90 1000LIT: 3.45 100KRD: 84.00 1LS: 7.95 100PTA: 4.10 100YEN: 5.06 Note that the currency fluctuations occur daily. * Payment of Fees : ================ Payment should be made in French Francs by cheque or by bank transfer to the order of CCIT, account number 79043L branch reference Agence 4024, Credit Lyonnais - 27, rue Alsace Lorraine - 31000 TOULOUSE - FRANCE (bank identification 32002 key 72). Payment can also be made using the following credit cards: VISA, MASTERCARD and EUROCARD. Cheques not in French Francs will not be accepted. Payment or proof of payment should accompany the registration form. * Cancellation and Refund : ========================= Payment of the registration fees for both the workshop and the tutorial will be refunded in full if a written notofication is received by SITEF before 19 September 1993. After 19 September 1993, no refund will be given. * Hotel Accommodations : ---------------------- Student: 760 FF Acommodation will be the responsibility of participant. For your reservation, please directly contact PROMOTOULOUSE : Reservation should be made by completing and returnig the attached accommodation form, indicating the class and the number of rooms desired. This accommodation form must be returned to : PROMOTOULOUSE Square Charles de Gaulle B.P. 801 31081 TOULOUSE CEDEX FRANCE Phone: +33.61.21.92.31 Fax: +33.61.22.03.63 Downtown hotels are situated close to "Place Wilson", "Place Jeanne d'Arc" or "Place du Capitol". Choosing a hotel in the city will give you easy access to the wide range of activities the city offers. Thousands of visitors and exhibitors participate to the SITEF Exhibition, so please return your accommodation form as soon as possible. * From downtown Toulouse to the LAAS-CNRS : Tutorial Day: -By bus: a free special bus downtown and the Tutorial Site will be organised. This bus will depart from "Place Wilson", in front of "Cinema Gaumont" at 8.00 and will return downtown at the end of the Tutorial. Railway station is about 15 minutes walking from "Place Wilson". -By car: LAAS_CNRS is about 20 minutes car ride away from downtown. * From downtown Toulouse to the Parc des Expositions-SITEF: Workshop days. -By bus: a free special bus will depart from "Place Wilson", in front of "Cinema Gaumont" at 8.15. -By car: The Parc des Expositions-SITEF is about 10 minutes car ride away from downtown. * ARRIVAL PROCEDURES: ------------------- * The Tutorial Registration desk will be located at the entrance of LAAS-CNRS (7, Avenue du Colonel Roche, 310077 TOULOUSE CEDEX). Registration will be from 8.30 to 9.00, on Tuesday October 19. This desk will accept registration for workshop days. * The worshop Registration desk will be located at the entrance "Colloquium" of SITEF-Parc des Expositions de Toulouse (Rond-Point Michel Benech). Registration will open from 8.00 every Workshop day. * For those attending both Tutorial and Workshop, both registration will be made at the entrance of LAAS Tuesday October 19. * WORKSHOP OFEFICE : ----------------- The registration desk will operate at the workshop office and will be open during Tutorial and Workshop hours. The phone number of the desk will be communicated on place. telephone will be at the disposal of the congressists (Credit Card or French money only). * WORKSHOP PROCEEDINGS : --------------------- A copy of the PNPM93 proceedings will be provided to all workshop registrants. Additional copies of the proceeding may be purchased at the workshop at the cost of FF 200. After workshop, copies may be purchased directly from : IEEE Computer Society Press 1730 Massachusetts Avenue, N.W Washington D.C. 20036 - 1903 USA * OTHERS EVENTS : -------------- * Tool Exhibition: Computer aided tools for the creation, manipulation and analysis of Petri Net based models will be demontrated during the workshop. There will also be a special tool session. * Banquet: The banquet will be held at Chambre de Commerce et d'Industrie de Toulouse (2, rue Alsace Lorraine - Toulouse) on Thursday 21 from 20:00 to 24:00 (Extra banquet ticket can be purshased at FF 300). * TOURIST INFORMATION : -------------------- Office du Tourisme Donjon du Capitole 31000 Toulouse France Phone: +33. 61.11.02.22 Fax: +33. 61.22.03.63 ******** REGISTRATION FORM ******** ================= Please send this form to : MARTINE BOST SITEF - Chambre de Commerce et d'Industrie de Toulouse B.P.606 31200 TOULOUSE CEDEX - FRANCE Tel: (33) 61.33.66.98 Fax: (33) 61.25.42.60 *Mr *Mrs Name ............................ First-name .................... Company ......................................................... Department ...................................................... Business Address ................................................ Postcode/city ................................................... Country ......................................................... Phone ........................... Fax........................... E-Mail .......................................................... Member *ACM *AFCET *IEEE Member Number ............. Would you please note my registration to PNPM93 -------------------------------------------------------------------------- AMOUNT OF REGISTRATIONS FEES -------------------------------------------------------------------------- PNPM93 TUTORIAL (OCTOBER 19) -Before September 15 : Member (*): 1500 FF Non-Member: 1875 FF Student: 500 FF -After September 15 : Member : 1750 FF Non-Member: 2200 FF Student: 700 FF PNPM93 Workshop (October 20-22) : -Before September 15 : Member (*): 2250 FF Non-Member: 2750 FF Student: 900 FF -After September 15 : Member : 2700 FF Non-Member: 3250 FF Student: 1000 FF Total Payable ...........FF (*) ACM or AFCET or IEEE Member. A proof of student status must be attached ----------------------------------------------------------------------- PAYMENT (ENCLOSED) ----------------------------------------------------------------------- * attached cheque drawn on .................. payable to CCIT-SITEF. * banker's draft (a copy must be attached) payable to : CCIT-SITEF Account number 79043L CREDIT LYONNAIS, branch reference Agence 4024 27 rue Alsace Lorraine, Toulouse, France (bank identification 30002 key 72) * Creditcard *Visa * MasterCard *EuroCard Card Number : ........ Expiration date : ........ Signature : .......... Date : ................... An invoice will be sent in return. ---------------------------------------------------------------------- AIR INTER DISCOUNT ---------------------------------------------------------------------- * Please send me an Air Inter discount voucher