From: miyamoto@neil.pwr.eng.osaka-u.ac.jp (Petri Nets, Toshiyuki Miyamoto) Date: Mon Mar 11 10:43:31 MET 1996 Errors-To: PetriNets-request@daimi.aau.dk To: PetriNets@daimi.aau.dk (Petri Nets Mail List, Mail questions to PetriNets-request@daimi.aau.dk) Subject: ICATPN'96 (Advanced Program) Dear PetriNetters, Please find below the Advance Program of ICATPN'96 We are looking forward to seeing you in July. Toshiyuki Miyamoto Osaka University ----------------------------------------------------------------- 17th International Conference on Application and Theory of Petri Nets Senri Hankyu Hotel, Osaka, Japan, June 24-28, 1996 CONFERENCE: Wednesday, June 26 to Friday, June 28 INTRODUCTORY AND ADVANCED TUTORIALS: Monday, June 24 and Tuesday, June 25 WORKSHOPS: Monday, June 24 and Tuesday, June 25 TOOL PRESENTATIONS: Wednesday, June 26 and Thursday, June 27 TOOL EXHIBITIONS: Tuesday, June 25 to Thursday, June 27 Organized by: IEICE Technical Group on Concurrent System Technology and SICE Technical Group on Discrete Event Systems STEERING COMMITTEE T. Murata, USA J. Billington, Australia W. Reisig, Germany A. Petri, Germany (honorary member) C. Girault, France G. Roucairol, France K. Jensen, Denmark G. Rozenberg, The Netherlands (chair) G. De Michelis, Italy M. Silva, Spain G. Balbo, Italy PROGRAM COMMITTEE CO-CHAIRs W. Reisig, Germany J. Billington, Australia PROGRAM COMMITTEE T. Murata, USA F. de Cindio, Italy C. Lakos, Australia J. Billington, Australia (co-chair) W. Road, Australia S. Christensen, Denmark M. Koutny, U.K. J.-M. Colom, Spain W. Reisig, Germany (co-chair) J. Esparza, Germany L. P.-Dauchy, France J. Kleijn, Netherlands L. Ojala, Finland S. Kodama, Japan K. Onaga, Japan D. Stotts, USA M. Woodside, Canada G. Franczeschinis, Italy D. Simpson, U.K. P. Azema, France ORGANIZING COMMITTEE S. Kumagai (chair) Department of Electrical Engineering K. Hasegawa Osaka University M. Yamamoto Suita 565, Japan I. Shirakawa Tel: +81-6-879-7693 S. Shinoda Fax: +81-6-875-2672 T. Matsumoto E-mail: PN96@ele.eng.osaka-u.ac.jp T. Ushio K. Takahashi H. Hasegawa K. Hiraishi K. Tsuji T. Miyamoto GENERAL INFORMATION CONFERENCE SITE The tutorials, workshops, tool presentation & exhibition and conference will take place at the Senri Hanky Hotel, Sin-Senri, Toyonaka-city, Osaka 565. Phone: +81-6-872-2211, Fax: +81-6-832-2161 Osaka Information Osaka, the prefectural capital, is Japan's second biggest city after Tokyo. Its population, 2,580,000, is the third largest in Japan. Osaka, the commercial and industrial center of western Japan, is also a major transportation center of Japan's extensive rail network. This makes the city an ideal base for visiting the ancient capitals of Nara and Kyoto, the bustling port of Kobe and the Inland Sea, one of Japan's natural treasures of sea and landscape. Distinctive local dishes include Pressed Sushi, Sashimi, Tetchiri (blowfish in broth, cooked at the table), Tempra and Mamushi (eel). Puppet theater, Kamigata Kabuki, and Kamigata storytelling are representative of Kamigata (Osaka) culture. How to Register/Reserve Hotel and Tours Fill in the enclosed Registration & Reservation Form. Send it to the following address by mail or facsimile together with the payment as requested hereafter. Mailing Address ICATPN 96 Registration Secretariat KINKI NIPPON TOURIST CO., LTD., International Travel, Osaka Branch c/o Nikko Bldg. 7F, 2-11-8, Sonezaki, Kita-ku, Osaka 530, Japan Tel:+81-6-313-6868 Fax:+81-6-314-1601 REGISTRATION FEE Members | Non-Members | On or before| After | On or before | After | Student May 24,1996 | May 24,1996 | May 24,1996 | May 24,1996| | | | | 2day Tutorial 20,000 yen | 30,000 yen | 20,000 yen | 30,000 yen | 4,000 yen | | | | 3 day 40,000 yen | 50,000 yen | 45,000 yen | 55,000 yen | 5,000 yen Conference | | | | Tutorial and 50,000 yen | 65,000 yen | 55,000 yen | 70,000 yen | 9,000 yen Conference | | | | 2day Workshop 4,000 yen | 4,000 yen | 4,000 yen | 4,000 yen | 4,000 yen *** Members of ACM, AFCET, AICA, BCS, EATCS, GI, IEEE, IEICE or SICE. *** Registration fee for Members or Non-Members includes proceedings, name card, welcome reception, conference banquet, coffee ticket and 3 day lunch (During 3 day conference). *** Registration fee for Students dose not include proceedings, conference banquet and lunch. *** Each student or accompanying person to the conference banquet, if any, is requested to pay extra :5,000 yen. Advance Registration Procedure All registrations for ICATPN 96 must be submitted on an official Registration Form. Upon receiving the "Registration & Reservation Form" and your fee, the Registration Secretariat will send you a confirmation/receipt slip with your registration number on it. Take this slip with you to present it at the Registration Desk in order to receive the official Registration Package. No confirmation sheet will be sent in case your Registration Form is not received after 14th June, 1996. How to reserve HOTEL ACCOMMODATIONS The following hotels are reserved for the convenience of the participants. However, please note that the number of rooms at each grade/type is limited and is to be served on first-come first-served basis. Request to complete the "Registration and Reservation Form", indicating all necessary items. Send it to the Registration Secretariat, Kinki Nippon Tourist Co., Ltd., not later 31th May, together with room deposit ; 10,000 yen for a Single Room 20,000 yen for a Twin Room ***No reservation will be made for applicants received without the payment of deposit. Grade Hotel Name RoomType RoomCharge Hotel Location A Senri Hanky Hotel Single 9,630 yen 3min. walk from Subway Twin 16,428 yen Senri-Chuo Stn. (Conference Site) B Chisan Hotel Single 7,416 yen 7min. walk (3min by taxi) from Shin-Osaka Twin 12,875 yen JR (Subway) Shin-Osaka Stn. C Sunny Stone Hotel Single 5,900 yen 1min. walk from Subway Esaka Stn. * A 10% of service charge and a 3% of consumption tax included. * If total amount of the hotel bill per day per person exceeds 15,000 yen, 3% more of the local tax will be added for the whole taxable sum. How to reserve CONFERENCE TOUR All registered attendees and their accompanying persons are welcomed to the conference tour. Request to complete the "Registration and Reservation Form", indicating all necessary items. Send it to the Registration Secretariat, Kinki Nippon Tourist Co., Ltd., not later 31th May, together with the payment of tour fee. Conference Tour : OSAKA ONE DAY TOUR Date : June 29 (Sat.) Time : 9:00(Departure) - 21:00(Estimated Time of Return) Starting Point : Senri Hankyu Hotel Return to : Senri Hankyu Hotel Tour fee : 12,000 yen *** Including Sightseeing bus, Admission, Lunch, English-speaking guide and tax. (Dinner is not included.) Minimum Operation : 30 participants Highlights : Osaka Castle Ninomaru Garden, Osaka Bay Lunch Cruise, Kaiyukan Aquarium and Namba Walking (Doguya-suji market, Kuromon market and Dotonbori). ***No reservation will be made for applicants received without the payment of tour fee. ***You can also reserve the other optional tours (Kyoto 1 day tour, Nara Afternoon Tour, Osaka Afternoon tour etc.) at Travel Desk in Conference site. Payment Payment must be completed before you register in Japanese Yen only. Participants from outside Japan may pay by ; Credit Card (VISA, Master Card or AMEX), Bank Draft (must be made payable to ICATPN 96 Registration Secretariat, Kinki Nippon Tourist Co., Ltd.) Bank Transfer. (all costs at transmitter's charge) *** No personal checks can be accepted. Participants from Japan, please pay by Bank Transfer only. (all costs at transmitter's charge) Bank Transfer to the account of Bank Name : Sanwa bank, Osaka Ekimae Branch Account Name : Kinki Nippon Tourist Co., Ltd. ICATPN 96 Account Number : 5144738 Bank Address : 1-12-39-2F,Umeda, Kita-ku, Osaka 530 Japan Tel/+81-6-345-0451 ***Please attach the acknowledgment of your remittance with your Registration and Reservation form. Confirmation / Receipt Upon receiving the "Registration & Reservation Form" and your fee, the Registration Secretariat will send you a confirmation/receipt slip with your registration number on it. Please make sure that you bring this slip with you when you register. Cancellations Cancellation notifications and applications for refund must be submitted in writing to ICATPN 96 Registration Secretariat. Registration Fee Refund Policy In case of cancellation for registration, your registration fee will not be refunded. Hotel Deposit and Tour Fee Refund Policy In case of cancellation, your deposit and tour fee will be refunded after deducting handling charge, credit card commission or bank charge/commission, and cancellation charges as follows. If cancellation notification is received.... (Hotel Deposit) 9 days or more prior to the date of arrival; No charge 8 to 2 days prior; 20% of your deposit Fewer than 2 days prior, or no notice given; 100% of your deposit (Tour Fee) Up to 21 days prior to the date of the tour; No charge 20 to 3 days prior; 50% of tour fee Fewer than 3 days prior, or no notice given; 100% of tour fee Passport & VISA All foreign visitors wishing to enter Japan must have a valid passport. Visas will also be required for participants coming from most eastern European countries, the People's Republic China, etc. For further information, participants are recommended to consult their carrier, local travel agencies or the nearest Japanese diplomatic mission. Vaccinations No vaccinations are necessary, unless a visitor comes from an area infected with cholera. Foreign Currency Exchange & Banking The local currency is Japanese Yen. Major foreign currencies such as U.S. Dollars, Deutsche Marks, French & Swiss Francs and Pounds Sterling can be changed at the airport or authorized banks. It is possible that you may have trouble in changing money into local currency if you bring other than main international currencies. Banking hours are 9:00 to 15:00, Monday through Friday except National Holidays. Japan Rail Pass (JR Pass) A convenient and economical pass can be used by visitors from abroad for traveling in Japan. For details please contact travel agents in your countries. The Japan Rail Pass cannot be purchased in Japan. Tipping Tipping is not as common in Japan as in U.S.A. and in Europe, except when special service is requested. Climate At the time of year in which ICATPN 96 will be held in Osaka, the average temperature is 23.8 degrees Centigrade or 74.8 degrees Fahrenheit( Max. 27.6 degrees Centigrade or 81.7 degrees Fahrenheit, Min. 20.8 degrees Centigrade or 69.4 degrees Fahrenheit) and humidity is 74%. TRAVEL INFORMATION Travel to Osaka, Official hotels Participants arriving at Kansai International Airport, Osaka Airport (Domestic Airport) or New Tokyo International Airport, can use the following routes. >From Kansai Int'l Airport to Hotels To Senri Hankyu Hotel : 1.Take Limousine bus for Osaka Airport (1,700 yen, 80min.) and change to taxi for the hotel (approx.2,500 yen, 20min.). 2.Take JR. Limited Express train "Haruka" for Shin-Osaka(2,930 yen, 50min.) and change to taxi (approx.3,500 yen, 30min.) for the hotel. To Chisan Hotel : Take JR Limited Express train "Haruka" for Shin-Osaka(2,930yen, 50min.) To Sunny Stone Hotel : Take JR Limited Express train "Haruka" for Shin-Osaka(2,930 yen, 50min.) and transfer to Subway for Esaka(180 yen, 5min.). >From Osaka (Itami) Airport to Hotels *** Take a taxi to Senri Hankyu Hotel (approx.2,500yen, 20min.). >From New Tokyo (Narita) Int'l Airport to Osaka *** Take domestic flight for Kansai airport or for Osaka airport. *** Take JR Express Train for Tokyo(2,890 yen, 50min.) and transfer to JR bullet train "Shinkan-sen" for Shin-Osaka(13,480 yen, 3 hours). Workshop I Object-Oriented Programming and Models of Concurrency Monday, June 24 Organizers: Gul Agha, Univ. of Illinois at Urbana-Champaign, USA Fiorella De Cindio, DSI, Univ. of Milano, Italy Akinori Yonezawa, Univ. of Tokyo, Japan Objects provide natural parallelism and have proved of increasing practical importance in software. The semantics of object systems remains an active area of research. In particular, a number of concurrency theories, including Petri nets, have been used to provide a formal model of concurrent objects. Moreover, both Petri nets and object-oriented design methods are in use for software modelling in real systems. The workshop will focus on the relation between different models of * concurrency and their applications to software engineering. Specific areas of interest include but are not limited to: * formalisms to model concurrent object-oriented languages and systems; * object-orientation and net models for system specification, development and verification; * software development tools based on nets or objects; * experiences in using Petri Nets or concurrent object-oriented methods in specific application domains. Workshop II Manufacturing and Petri Nets Tuesday, June 25 Organizers: M. Silva, University of Zaragoza, Spain K. Takahashi, Tokyo Institute of Technology, Japan R. Valette, LAAS-CNRS, Toulouse, France. Petri nets have been applied in Manufacturing for many years. Indeed manufacturing systems are complex systems where many processes evolve concurrently and share common resources. Thus formal modeling, analysis and synthesis techniques are important issues for their design and operation. Topics to be taken into consideration are: * modeling techniques (hierarchical, modular, with high level nets, etc.) * performance evaluation and simulation * scheduling (off-line and real time) and optimization * monitoring and supervisory control, * fuzzy Petri nets for diagnosis and control * implementation issues and fault tolerance * controllers and programming Introductory Tutorial I Monday, June 24 9:00 Informal Introduction to Petri Nets (W. Reisig) Based on a couple of intuitive examples, the basic principles of system modeling using Petri nets are informally introduced. In particular, the role of concurrency in realistic systems, and their models, are discussed. Different versions of Petri nets are introduced and their modeling features compared. 9:30 Elementary Net Systems I (G. Rozenberg) The basic model of elementary net system is introduced and motivated. Through the discussion of fundamental situations it is shown how the basic aspects of concurrent systems are identified both conceptually and mathematically within this model. Also, state spaces of elementary net systems are discussed. 11:00 Coffee Break 11:30 Place/Transition Nets I (W. Reisig) Place/Transition nets form a useful and natural extension of the elementary net system model. Using such nets, one can model a wider variety of systems, and more importantly, useful and nontrivial analysis techniques are available. Many analysis techniques are discussed, including coverability graphs and invariants. 12:45 Lunch Break (participants on their own) 15:00 High-Level Nets I (K. Jensen) High-level nets allow a Petri net model to have a data part with arbitrary complex data types. This means that it is possible to make much more succinct and comprehensible models. This lecture will present the basic ideas behind high-level Petri nets and it will present a number of large-scale industrial applications. 16:30 Coffee Break 17:00 Timed and Stochastic Nets (S. Donatelli) The introduction of temporal concepts into Petri net models allows the application of Petri nets to performance analysis. Several approaches based on either deterministic or stochastic timing are reviewed and illustrated on simple examples. The analysis techniques required by each approach are outlined, and the results that can be obtained are discussed. 18:00 Adjourn Introductory Tutorial II Tuesday, June 25 9:00 Elementary Net Systems II (G. Rozenberg) This lecture discusses the behavior or elementary net systems. It presents two approaches toward considering the behavior of an elementary net system: one based on sequential observations, and other based on nonsequential observations. The former case leads to firing sequences, while the latter leads to traces and partial orders. 10:30 Coffee Break 11:00 Place/Transition Nets II (M. Silva) A number of analysis techniques for Place/Transition nets are presented. They include property preserving reductions of nets, graph theoretical arguments, linear programming, and techniques exploiting the special structure of distinguished net classes. 12:00 Introduction to GSPNs (S. Donatelli) GSPNs are a class of Petri nets with exponentially timed transitions that are widely used for performance analysis of discrete-event dynamic systems. The lecture will present the basic concepts relating to GSPNs and their underlying Petri net models with no timing. An example of application of the GSPN approach to the performance analysis of systems will be illustrated in some detail. 13:00 Lunch Break (participants on their own) 15:00 High-Level Nets II (K. Jensen) This lecture will present some of the most important validation methods for high-level nets, such as simulation, occurrence graphs, and place invariants. It will discuss how the different validation methods are used throughout the different phases of system development. 16:30 Coffee Break 17:00 Levels of Petri Nets In net theory, we can identify several conceptual levels and various types of models that are used on these levels. We will discuss in an informal and eclectic way some of the working tools and principles that have supported the development of net theory with all its models and applications. Examples of such principles are continuity, duality, extensionality, local determinacy, or just one simple (meta) principle, namely conceptual and formal economy. 17:45 Adjourn Advanced Tutorial I Scheduling and Petri Nets Monday, June 24 Organizers: P. Chretienne (Paris, France) K. Onaga (Ryukyu, Japan) Advanced Tutorial II Distributed Algorithms, Modelling and Verification with Petri Nets Tuesday, June 25 organized by W. Reisig (Berlin, Germany) An Algorithm is said to be distributed if it operates on a distributed architecture. Lack of global control requires particular means for communication, synchronization, agreement, and consensus. Typical examples of distributed algorithms include the organization of mutual exclusion, distributed termination detection, leader election, garbage collection on the fly etc. This tutorial presents Petri net models of distributed algorithms and correctness proofs of such algorithms. Standard Petri net techniques are slightly adjusted and extended. Particularly new features include progress and fairness properties together with corresponding proof techniques. Furthermore, Petri net schemata are employed (with each schema representing a possibly infinite set of systems). The tutorial is driven by examples and case studies. Basic knowledge of Petri nets is required. 9:00-10:30 Modelling: Progress, fairness, and rounds. Coffee break 11:00-12:30 Specification: State properties and progress properties. Verification: Place invariants, proof graphs, pickup-rules, and ground states. Lunch 14:30-16:00 Mutual Exclusion. Echo Algorithm. Coffee break 16.30-17.15 Selected Topics and Algorithms and Topics. TOOL PRESENTATION PROGRAM Wednesday, June 26 14:30-15:45 Brief Description of MetaNet Editor System 1.0 for Windows R. Kosinov, V. Terziyan and V. Yankovsky XLOOPN - An XWindows Interface to LOOPN C. Lakos and R. Richardson, University of Tasmania, Australia PROD 3.1 Johan Lilius, Helsinki University of Technology, Finland Coffee Break 16:15-17:30 Great SPN 2.0 : Graphical Editor and Analyzer for Timed and Stochastic Petri Nets A Rodella, R Gaeta and G Chiola, Universita di Torino, Italy QPN-Tool A Tool for Hierarchical Analysis of Queueing Petri Nets F. Bause, P. Buchholz, and P. Kemper, University Dortmund, Germany Software Tool for Analysis of Petri Nets Based on Unfolding S. Ten, M. Kishinevsky, A. Kondratyev and A. Taubin, The University of Aizu, Japan Thursday, June 27 14:30-15:45 CPN-AMI version 2.0, an environment for the construction and analysis of parallel systems A Diagne, F Kordon and E Paviot-Adet Petrify: a tool for synthesis of Petri Nets J Cortadella, M Kishinevsky, L Lavagno, A Yakovlev and A Kondratyev, Universitat de Catalunya, Italy and The University of Aizu, Japan The OBJSA Net Environment ONE E Battiston, L Capra, A Chizzoni and F De Cindio, Universitat de Milano, Italy Coffee Break 16:15-17:30 SYROCO, A CoOperative Object Compiler C. Sibertin-Blanc, Universite Tlse 1, France MENDELS ZONE N. Uchihira, Toshiba, Japan Automatic Generation of Communications Software Y. Ueda, A. Takura, T. Ohta, ATR, Japan TOOL EXHIBITION Tuesday, Wednesday, Thursday, June 25-27 Demonstrations for small groups and individual participants can be arranged at the conference. CONFERENCE PROGRAM Wednesday, June 26 9:00-9:30 Opening Session 9:30-10:30 Invited Talk Temporal Uncertainty and Fuzzy-Timing High-Level Petri Nets T. Murata, University of Illinois, USA 10:30-11:00 System Design Designing a Security System by means of Coloured Petri Nets J. L. Rasmussen and M. Singh, Aarhus University, Denmark Coffee Break 11:30-13:00 System Design Modeling and analyzing DART systems through high-level Petri nets L. Nigro and F. Pupo, Universita' della Calabria, Italy Process + Services + Resources = integrated hardware and software models: the PSR Methodology S. Donatelli and G. Franceschini, University of Torino, Italy The SEA Language for System Engineering and Animation B. Kleinjohann, E. Kleinjohann, and J. Tacken, Universite GH Paderborn, Paderborn Lunch 14:30-16:00 Structure Theory An O(|S| x |T|)-Algorithm to verify if a net is regular A. Kovalyov, Byelorussian Academy of Sciences, White Russia {SC}*ECS: A Class of Modular and Hierarchical Cooperating Systems L. Recalde, E. Teruel, and M. Silva, University of Zaragoza, Spain On Liveness and Controlled Siphons in Petri Nets K. Barkaoui and J.F. Pradat-Peyre, CNAM Paris, France Coffee Break 16:30-17:00 Structure Theory Behavioural and structural characterizations of synchronization preserving liveness for colored FIFO nets M.-L. Benalycherif and C. Girault, University Paris VI and Institute National des Telecommunications, France 17:00-18:00 Related Models Topological Aspects of Traces J. van Oosten, Aarhus University, Denmark Behavioural equivalence for infinite systems - partially decidable! K. Sunesen and M. Nielsen, Aarhus University, Denmark CONFERENCE PROGRAM Thursday, June 27 9:00-10:00 Invited Talk Modeling Concurrent Systems: Actors, Nets, and the Problem of Abstraction and Compositionality G. Agha, University of Illinois, USA 10:00-11:00 Object Orientation The Consistent Use of Names and Polymorphism in the Definition of Object Petri Nets C. Lakos, University of Tasmania, Australia Modelling and Analysis of Distributed Program Execution in BETA Using Coloured Petri Nets J. B. Jorgensen and K. H. Mortensen, University of Aarhus, Denmark Coffee Break 11:30-13:00 Net Models Arc-Typed Petri Nets E. Kindler and R. Walter, Humboldt University, Germany Non sequential semantics for contextual P/T nets N. Busi and M. Pinna, University of Siena, Italy A Formal Definition of Hierarchical Predicate Transition Nets X. He, North Dakota State University, USA Lunch 14:30-15:30 Stochastic Nets Reachability analysis based on structured representations P. Kemper, University Dortmund, Germany Asynchronous composition of High Level Petri Nets: a Quantitative Approach S. Haddad and P. Moreaux, University Paris Dauphine, France Coffee Break 16:00-17:00 Stochastic Nets A New Iterative Numerical Solution Algorithm for a Class of Stochastic Petri Nets W. Knaup, University Dortmund, Germany Expected Impulse Rewards in Markov Regenerative Stochastic Petri Nets R. German, Aad P.A. van Moorsel, M. A. Qureshi, and W. H. Sanders, Technical University Berlin, Germany and University of Illinois, USA CONFERENCE PROGRAM Friday, June 28 9:00-10:00 Invited Talk Compositionality in State Space Verification Methods A. Valmari, Tampere University of Technologz, Finland 10:00-11:00 Partial Order Based Verification Reduced State Representation for Unbounded Vector State Spaces K. Hiraishi, Japan Advanced Institute of Science and Technology, Japan A Structural Approach for the Analysis of Petri Nets by Reduced Unfoldings A. Kondratyev, M. Kishinevsky, A. Taubin, and S. Ten, The University of Aizu, Japan Coffee Break 11:30-12:00 Partial Order Based Verification Covering Step Graph F. Vernadat, P. Azema, and F. Michel, LAAS-CNRS, France 12:00-13:00 Communication Networks Performance Analysis of a Connection Management Scheme in IWU Interconnecting LANs across ATM networks J. Yuan and L. Liu, Peking University, China Designing and Verifying a Communications Gateway Using Coloured Petri Nets and Design/CPN D. J. Floreani, J. Billington, and A. Dadej, University of South Australia, Australia Lunch 14:30-15:30 Hardware Asynchronous Control Device Design by Net Model Behaviour Simulation V. Varshavsky and V. Marakhovsky, The University of Aizu, Japan High Level Synthesis of Synchronous Parallel Controllers K. Bilinski and E. L. Dagless, University of Bristol, UK 15:30-16:00 Closing Session