Path: uflorida!simulation From: simulation@uflorida.cis.ufl.edu (Moderator: Paul Fishwick) Subject: SIMULATION DIGEST V32 N8 Newsgroups: comp.simulation Reply-To: simulation@uflorida.cis.ufl.edu Sender: fishwick@uflorida.cis.ufl.edu Approved: fishwick@uflorida.cis.ufl.edu Distribution: world Volume: 32, Issue: 8, Fri May 7 10:45:01 EDT 1993 +----------------+ | TODAY'S TOPICS | +----------------+ [NEW QUESTIONS] Automod II Poisson Distribution Synthesizing State Matrices from Bond Graphs Infrared Spectra Simulations [CALL FOR PAPERS/PARTICIPATION] Application & Theory of Petri Nets Computational Physics Simulation Technology Conference Knowledge Representation and Reasoning Software for Virtual Reality Systems MASCOTS '94: Computer and Telecommunication Systems Annual Simulation Symposium * Moderator: Paul Fishwick, Univ. of Florida * Send topical mail to: simulation@bikini.cis.ufl.edu OR post to comp.simulation via USENET * Archives available via FTP to ftp.cis.ufl.edu. Login as 'anonymous', use your e-mail address as the password, change directory to pub/simdigest. Do 'binary' before any file transfers. * Simulation Tools available by doing above and changing the directory to pub/simdigest/tools. * Gopher link, containing digest and software archives, is available at gopher.cis.ufl.edu. ----------------------------------------------------------------------------- Subject: [NEW QUESTIONS] ------------------------------ From: sacha@bernina.ethz.ch (Sacha Kalchofner) Subject: Automod II and C Organization: Swiss Federal Institute of Technology (ETH), Zurich, CH Date: Fri, 30 Apr 1993 10:25:57 GMT I'm programming in Automod II and would like to use more C code but it seems that there are no manuals available about how to have access to automod specific data like length of queues, attributes of entities etc. Is there anybody who can help me!? Thanks Sacha ------------------------------ Date: Fri, 30 Apr 1993 16:13:57 GMT From: Usenet login To: comp-simulation@cs.washington.edu Newsgroups: comp.simulation From: bhati@plains.NoDak.edu (Amit Bhati) Subject: Decomposing a Poisson process. Question. Date: Fri, 30 Apr 1993 16:13:51 GMT I am setting-up a simulation of a local-area network system and modeled its behaviour as a M/G/1 queueing system. For Symmetric LANs the request to transmit arrival rate at each connected node is a Poisson process with identical mean 'lambda'. The simulation can be visulalised as the token serving the first waiting request at each station in a sequential manner, from station 1 to N. It has been suggested in the book, "Simulating Computer Systems : Techniques and Tools", by M.H. McDougall (The MIT Press) that, "...since station arrival processes are Poisson, the individual station arrival processes can be combined into a ring arrival process which also is poisson and which , for a symmetric LAN, has mean rate N*lambda (for N connected stations). The request process can then be modeled by scheduling the next arriving request for the set of stations on the ring; inter-arrival times will have a negative exponential distribution with mean 1/(N*lambda). When a request "arrives" it is rendomly assigned to one of the N stations; because a process created with a random decomposition of a Poisson stream is also Poisson, the arrival processes at each station will also be Poisson. ...." (McDougall, pp: 194, para 3) It can be seen that the advantage of this optimisation is that we now have just one arrival queue connected to the server (the LAN ring) instead of on1 arrival queue to represent EACH connected station (M/G/1). A very significant simplification for the simulation model. My questions regarding this are :- 1. What mathematical proof do you give to corroborate the statement that, "... a process created with the random decomposition of a Poisson stream is also Poisson..."? 2. Would the above statement hold if the arrival stream was NOT Poisson? Say it was Geometric, etc. Why or Why-not? Please explain. I can intuitively understand the statement in McDougall, but would like someone knowledgeable to give a concrete explanation (for my peace of mind). Please e-mail replies or post on news-group. If there are requests I shall post a summary. Many thanks. Cheers, amit bhati -- ---------------------------------------------------------------------------- |Amit Bhati bhati@plains.NoDak.edu | "All that is there in the| |Computer Science Dept., !uunet!plains!bhati | middle of the road is a | |IACC Building, NDSU, Ph: (701) 232-6754 | dumb, yellow line and a | |Fargo, ND 58105. | dead skunk." | ------------------------------ Newsgroups: comp.simulation Path: hilbert!brucew From: brucew@hilbert.coe.northeastern.edu (Bruce Wilson) Subject: Synthesizing State Matrices (A,B,C,D) from Bond Graphs Keywords: algorithms, bond graphs, mathematical models Sender: brucew@hilbert.coe.northeastern.edu (Bruce Wilson) Date: Tue, 4 May 1993 17:37:05 GMT Does anyone have any suggestions/references regarding the best (1) data structures for representing bond graphs and (2) algorithms for synthesizing a set of state equations (linear and nonlinear) . x = Ax + Bu y = Cx + Du from a bond graph? I know this has been done before; hence, I'd like to take advantage of existing algorithms. Thanks in advance, Bruce -- Bruce Wilson, Assistant Professor Department of Mechanical Engineering 334 Snell Engineering Center Northeastern University Boston, MA 02115 (617) 437-3808 office 437-2921 fax brucew@meceng.coe.northeastern.edu ------------------------------ Date: Wed, 5 May 93 17:51 GMT From: GKRUK@mee.tcd.ie Subject: FTIR spectra, phase transitions in LC To: simulation@uflorida.cis.ufl.edu X-Envelope-To: simulation@uflorida.cis.ufl.edu X-Vms-To: IN%"simulation@uflorida.cis.ufl.edu" [[Some of the FAQ Questions are unanswered because the student who helped prepare the FAQ found a question posed to the Digest without a followup. Please help if you can answer these questions. I'll try to update the FAQ accordingly -PAF]] QUESTION ________ Where can I find information on Infrared spectra simulations and phase transitions in liquid crystals simulations ? ANSWER: ------------------------------ Subject: [CALL FOR PAPERS/PARTICIPATION] ------------------------------ Newsgroups: comp.human-factors,comp.robotics,comp.society,comp.simulation From: alsalqan@bert.eecs.uic.edu (Yahya Alsalqan) Subject: CF Participation PN93/Chicago, Final Prog Date: Fri, 30 Apr 1993 20:33:21 GMT CALL-FOR-PARTICIPATION in PN93/Chicago This is a reminder that if you want and/or need to present a short talk at Petri Nets 1993, you can do so in the WORK-IN-PROGRESS Session on Wednesday evening, June 23 1993. Just send us the title of your talk, your name and affiliation via e-mail or fax.before June 18. Thank you - Tad Murata and Sol Shatz, pn93@eecs.uic.edu PS. Attached below is an electronic version of the final program. ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ The Final Program for PETRI NETS 1993 / CHICAGO Version March 25, 1993 14th International Conference on Application and Theory of Petri Nets June 21 - 25, 1993, Bismark Hotel, Chicago Dear Colleagues: It is our great pleasure to invite you to attend the 14th International Conference on Application and Theory of Petri Nets, which will be held at the Bismarck Hotel in Chicago, Illinois during the week of June 21-25, 1993. The selection of Chicago as the 1993 conference site marks the first time that this international body will hold its annual meeting in the United States. Come to Chicago, the heart of the midwest, which has something for everyone to enjoy, including miles of beautiful lakefront parks and beaches, renowned museums, superb theatre, outdoor concerts, sports events, and great ethnic dining. Make your visit a vacation. We look forward to seeing you in June. Petri Net 1993 Organizing Committee In this electronic version, we present the information in the following order: 1. General Information 2. Tutorial Program, June 21-22 3. Tool Presentation, June 21 4. Conference Program, June 23-25 5. Committees 6. Registration Form ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ GENERAL INFORMATION Conference Site The tutorials and conference will take place at the Bismarck Hotel, 171 W. Randolph St., Chicago, IL 60601. Telephone (312)236-0123, 1-800-643-1500 (outside Chicago, but within continental U.S.), fax (312)236-3177. Located in the center of Chicago's cultural and financial districts, this downtown hotel is easily accessible by auto or public transportation. >> Continental Air Transport provides bus service between the Bismarck hotel and O'Hare ($12.50 one way) and Midway ($9.50 one way) Airports. >> RTA subway service is available to and from O'Hare airport for $1.50. The subway stop (Lake Transfer station) is located one block east of the hotel, in the State of Illinois Building. >> Union and Northwestern train stations are five short blocks from the hotel. >> Valet parking is available at a rate of $10.50/for 24 hours (no in or out privileges.) In addition there are 13 public garages within a 10 block radius. Parking rates range from $6-$12 per day and a maximum of $16 for 24 hours. All rates are subject to change without notice. Accommodations A block of rooms has been reserved at the Bismarck Hotel at the special rate of $65/single, $75 double or twin, and $85/triple, $95/Quad plus city taxes (currently 14.9%.) Check-out time is 1:00 p.m. A deposit equal to one night's lodging is required with reservation. Deposits may be made by personal check or money order, (U.S. currency only, payable to the Bismarck Hotel), or by credit card. Full refunds will be issued when notice is given 48 hours prior to arrival. A hotel reservation form will be included in the conference program (hard copy version). If you prefer, you may fax or phone your reservation with credit card payment. Be sure to identify yourself as a participant in "Petri Nets '93," to receive the special rate. Your reservation should be made no later than June 5, 1993. After that date, reservations will be accepted on a space available basis and the special rate may not apply. REGISTRATION/INFORMATION DESK The registration desk will be open throughout the week, beginning on Sunday, June 20. All participants should check-in at the registration desk. Registration desk hours are: >> Sunday, June 20 from 5 p.m. to 8 p.m., Blackhawk Room >> Monday-Tuesday, June 21-22, 8 a.m. to 5 p.m., Blackhawk Room >> Wednesday-Friday, June 23-25, 8 a.m. to 5 p.m., Pavilion Foyer Registration Please complete and return the registration form found at the end no later than May 24. The form may be photocopied as needed. Confirmation will be sent to participants upon receipt of the registration form and payment. Registration Fees Tutorial and Conference registration fees, excluding accommodations, are provided below. Members* Non-Members On or Before After On or Before After May 24 May 24 May 24 May 24 June 21-22 2-day Tutorial $300 $350 $320 $370 June 23-25 3-day Conference $395 $445 $415 $465 *Members of ACM, AFCET, AICA, BCS, EATCS, GI or IEEE. The tutorial fee includes texts (one for each day), refreshments (but not lunches), a tool presentation on Monday, and a tool exhibition. The conference fee includes a copy of the conference proceedings, refreshments, three lunches, and one ticket for the conference dinner on Thursday evening. (No refunds will be made for not attending lunches or dinner). Guest dinner tickets may be purchased with your registration or on site for $45. All conference participants are entitled to attend the tool presentation on Monday and the tool exhibition. Conference Proceedings The conference fee includes a copy of the proceedings. Additional copies will be on sale at the registration desk. Scholarships A limited number of scholarships providing about 50% reduction off the conference/tutorial registration fees are available to non-author students with limited funds. This reduction does not cover transportation, accommodation, or food. To apply for a scholarship, please send a letter of explanation, including e-mail address or fax number, and a letter of recommendation from a major advisor to: Tadao Murata, UIC Dept. of EECS (m/c 154) 851 S. Morgan St., Rm.1120 SEO, Chicago, IL 60607 USA; E-mail: pn93@eecs.uic.edu, Fax: (312)413-0024, Tel: (312) 996-5488. The deadline for submission of materials is May 14, 1993 Applicants will be notified by May 21, 1993. Payment Your registration form must be accompanied by full payment. Payment is accepted in U.S. dollars only. Foreign currency is unacceptable and will be returned. Funds must be drawn on a U.S. bank. Do not send cash. All checks or money orders should be made payable to the University of Illinois - PETRI NETS 1993 Note: Foreign checks and money orders are subject to a handling charge by the correspondent bank in the U.S. Any shortage that results must be paid upon checking in at PETRI NETS 1993. 3 ways to register: >>By mail, with credit card authorization (Discover, MasterCard or Visa) or check (payable to the University of Illinois - PETRI NETS 1993, U.S. currency only) to: PETRI NETS REGISTRAR UIC CONFERENCES and INSTITUTES (M/C 607) 1033 W. VAN BUREN ST., SUITE 700N, 7TH FLOOR CHICAGO, IL 60607 USA >>By fax: (312) 996-5227 with signed Discover, MasterCard or Visa authorization >>By phone: (312) 996-5225 with Discover, MasterCard or Visa authorization >>No registrations by e-mails. Refund Policy Payment will be refunded, less a $25 processing, fee if notification of cancellation is made by June 5, 1992. Refunds must be requested in writing. No refunds will be made after June 5. Questions? Contact, UIC conferences and Institutes, telephone (312)996-5225, fax (312) 996-5227. Social Program All activities will take place at the Bismarck Hotel. >>An informal gathering will be held Tuesday evening from 6 - 7 p.m. This reception is open to all tutorial and conference participants. >>The conference reception and banquet will be held on Thursday evening beginning at 6:30 p.m. Guest tickets at $45 may be purchased with your registration or on site. If there is interest on the part of participants, an informal dinner may be planned for Friday evening, June 25. More information will be available on your arrival at the conference. Tool Presentation and Exhibit On Monday, June 21, there will be an oral presentation of the tools that will be exhibited on Tuesday to Thursday. Tuesday will be the main day of the exhibition. Periods will be set aside during the conference in which tools can be demonstrated for small groups. Workshop On Tuesday, June 22, Giorgio De Michelis and Clarence Ellis will be offering a one-day workshop, "Computer Supported Cooperative Work, Petri Nets and Related Formalisms." To attend, you must register for the three-day conference and pay the conference fee. For all information concerning the workshop, contact: Giorgio De Michelis or Clarence Ellis DSI Dept. of Computer Science University of Milano Campus Box 430 Via Comclico 30 University of Colorado at 21035 Milano, Italy Boulder Boulder, CO 80309-0430 Phone: (303) 492-5984 Fax: +39 2 55006276 Fax: (303) 492-2844 E-mail:gdemich@hermes.dsi.unimi.it E-mail: skip@cs.colorado.edu ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ TUTORIAL PROGRAM Three types of tutorials - Introductory, Advanced and Case Studies - will be presented by internationally well-known experts on Petri nets. The Introductory Tutorials are designed for newcomers to the field, or those with rudimentary knowledge of Petri nets. Introductory I ( Monday, June 21) and Introductory II (Tuesday, June 22) cover the most fundamental features of system modeling and system analysis based on Petri nets. This introduction will help the participants to understand the basic ideas in many of the conference contributions. Advanced Tutorials are designed for more experienced participants and provides a comprehensive insight into the state of the art, discussing specific topics of Petri nets and the relationship to other models of concurrency A tutorials:that is practical in orientation will be offered on Monday, June 21 and another that is theoretical in orientation, will be offered on Tuesday, June 22. Practical examples of applying Petri nets will be discussed in a one-day case study tutorial offered on Tuesday, June 22. INTRODUCTORY TUTORIALS (Monday and Tuesday) 1. INTRODUCTORY TUTORIAL I (Monday, June 21) 9:00 - 9:30 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 - 10:30 Elementary Net Systems I (G. Rozenberg) The basic model of elementary net systems 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. 10:30 - 11:00 Coffee Break 11:00 - 12:00 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 non-trivial analysis techniques are available. Many analysis techniques are discussed, including coverability graphs and invariants. 12:00 - 2:00 Lunch (participants on their own) 2:00 - 3:30 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.The lecture will present the basic ideas behind high- level Petri nets and it will present a number of large-scale industrial applications. 3:30 - 4:00 Coffee Break 4:00 - 5:00 Timed and Stochastic Nets (M. Ajmone Marsan) 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 with simple examples.The analysis techniques required by each approach are outlined, and the results that can be obtained are discussed. 2. INTRODUCTORY TUTORIAL II (Tuesday, June 22) 9:00 - 10:30 Elementary Net Systems II (G. Rozenberg) This lecture discusses the behavior of elementary net systems. It presents two approaches towards considering the behavior of an elementary net system: one based on sequential observations, and the other based on non-sequential observations. The former case leads to firing sequences, while the latter leads to traces and partial orders. 10:30 - 11:00 Coffee Break 11:00 - 12: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 - 2:00 Lunch (participants on their own) 2:00 - 3:30 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. 3:30 - 4:00 Coffee Break 4:00 - 4:45 Introduction to GSPNs (M. Ajmone Marsan) 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. 4:45 - 5:30 Levels of Petri Nets (H. J. Genrich) 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. ADVANCED TUTORIALS (Monday and Tuesday) More experienced participants are offered advanced practical and theoretical tutorials to be presented on Monday and Tuesday. These will provide a comprehensive insight into the state of the art of specific topics and into the relationship of Petri nets to other models of concurrency. 1. ADVANCED PRACTICAL TUTORIAL (Monday, June 21): PETRI NETS, ARTIFICIAL INTELLIGENCE AND THEIR APPLICATION TO COMPUTER INTEGRATED MANUFACTURING (Robert Valette, LAAS-CNRS, Toulouse, France) Computer integrated manufacturing and engineering (CIME) is aimed at improving the productivity of manufacturing and engineering industries. This is accomplished through an integrated approach embracing process automation and business systems in a way which takes social, organizational, economic and environmental concerns into full account. To achieve this, the simultaneous use of a large variety of mathematical tools and semi-formal approaches is necessary. This tutorial will cover two approaches; Petri nets, and artificial intelligence techniques. Petri nets are known to be suitable for real-time control and global evaluation of flexible manufacturing systems. Artificial intelligence techniques (rule-based systems, fuzzy sets, probabilistic theory, etc.) are used for management as well as diagnosis in case of production disruption. In fact, the concept of decision rules and imprecise information are required for flexible management, and that of uncertainty for diagnosis. The purpose of the tutorial is twofold. First, some relationships between Petri nets, considered as a knowledge representation technique, and AI techniques (rule-based systems, temporal knowledge, timeliness constraint satisfaction programs, etc.) will be explained and used in order to derive consistent combined approaches. Second, it will be shown that these combined approaches (Petri nets and fuzzy markings, rule compilation based Petri net implementations, etc.) are suitable to solve some specific problems belonging to CIME (management and real-time control integration, real-time diagnosis, etc.). 9:00 - 10:30 Supervision in CIME 10:30 - 11:00 Break 11:00 - 12:30 Petri Nets and Logic 12:30 - 2:00 Lunch (participants on their own) 2:00 - 3:30 Fuzzy Petri Nets 3:30 - 4:00 Break 4:00 - 5:30 Rule Based System Compilation 2. ADVANCED THEORETICAL TUTORIAL (Tuesday, June 22): THE RELATIONSHIPS BETWEEN DIFFERENT MODELS OF CONCURRENCY (Mogens Nielsen, Aarhus Univ., Denmark) Petri nets are today one of the best known and most widely used formal models in the area of distributed systems. However, there are many (some would say too many!) other formalisms around. The choice of a model for a concrete application is often based on a mixture of pragmatic and formal considerations. As an aid to this process the structure of the variety of models is explained in terms of classifications based on their expressive power, e.g., interleaving versus non-interleaving, linear time versus branching time, etc. Recently this kind of classification has been supported by research aimed at understanding formally the general notion of relationships between models. The results are often expressed categorically in terms of certain types of adjunction between (categories of) models, based on functors viewed as translations between individual models. This tutorial will give a non-technical introduction to, and a survey of, results provided by this line of work. In particular, the tutorial will aim to: * motivate this categorical approach to the study of relationships between models and offer a guide to an intuitive interpretation of the results provided. * give a brief introduction to some fundamental models of concurrency including (elementary) net systems, (asynchronous/ elementary) transition systems, synchronization trees, Hoare traces, event structures and Mazurkiewicz traces * present and interpret a number of formal (categorical) relationships between these models, focusing on the presentation of net systems as the central model 9:00 - 10:30 Introduction and Motivation 10:30 - 11:00 Coffee Break 11:00 - 12:30 Classification of Models for Concurrency 12:30 - 2:00 Lunch (participants on their own) 2:00 - 3:30 Relationships Between Petri Nets and Other Models 3:30 - 4:00 Coffee Break 4:00 - 5:30 Process Algebra and Their Models CASE STUDIES TUTORIAL (Tuesday, June 22) The aim of this one day tutorial is to demonstrate the practical use of Petri nets in the design, specification and verification of concurrent systems. The tutorial presents four different Petri nets projects, covering rather different application areas. Most of the projects have been conducted in an industrial environment, and all of them have produced rather large and complex Petri net models. Some of the models use hierarchical high-level nets, while others use timed and stochastic Petri nets. 9:00 - 10:30 Asynchronous Circuit Design Robert Shapiro, Meta Software, Cambridge, Massachusetts 10:30 - 11:00 Coffee Break 11:00 - 12:30 Simulation of Communication Protocols Marco Ajmone Marsan and Fabio Neri, Politecnico di Torino, Italy 12:30 - 2:00 Lunch (participants on their own) 2:00 - 3:30 Work Flow Analysis of Business Processes Valerio Pinci, Meta Software, Cambridge, Massachusetts 3:30 - 4:00 Coffee Break 4:00 -5:30 Reliability Modeling of a Heterogeneous Multiprocessor Kishor Trivedi, Duke University, North Carolina Each presentation will give an overview of the application area, the Petri net model, and its verification. The presentation will describe the practical experiences, such as the quality of the results, the use of man-power, the background of the project group, the main problems and the main achievements. Finally, the presentations will compare the Petri net project to similar projects where other methods were used. None of the presentations will require a prior knowledge of the application area, but it will be assumed that the participants have a general knowledge of Petri nets. ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ TOOL PRESENTATION, Monday June 21 (Open to all conference and tutorial participants) 10:00 GreatSPN 1.6 Giovanni Chiola, University of Torino, Italy 10:30 Coffee Break 11:00 ASE Activity Sequence Editor C. M. Woodside and Yao Li, Carleton University, Ottawa, Canada. 11:30 ExSpect Lou Somers, Eindhoven University of Technology, Holland 12:00 DSPNexpress Christoph Lindemann, Technical University of Berlin, Germany 12:30 Lunch Break 2:00 Design/CPN, Design/IDEF, and META Work Flow Analyzer Valerio Pinci, Meta Software Corporation, Cambridge, MA USA 2:30 SANDS Didier Buchs, Jacques Flumet, and Pascal Racloz, University of Paris-Sud, France 3:00 PROD Kimmo Varpaaniemi, Helsinki Univ. of Technology, Finland 3:30 Coffee Break 4:00 AMI Fabrice Kordon, Universite Pierre et Marie Curie, France 4:30 Handy Net-Tool for Beginners and Educational Use Hisao Shiizuka, Kogakuin University, Tokyo, Japan 5:00 Compositional Petri Net Environment N. A. Anisimov, Russian Academy of Sciences, Vladivostock, Russia. 5:30 Adjourn TOOL EXHIBITION Tuesday, Wednesday, Thursday, June 22 - 24 The Tool Exhibition will be open Tuesday through Thursday. Demonstrations for small groups and individual participants can be arranged at the conference. ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ CONFERENCE PROGRAM Wednesday June 23 8:00 Registration 8:55 Welcome and Remarks 9:00 "Groupware and Concurrency Modeling" Invited Speaker - C.. Ellis (U. of Colorado, Boulder, USA) 10:00 "Bridging the Gap between Place- and Floyd-Invariants with Applications to Preemptive Scheduling" R. Valk (Univ. Hamburg, Germany) 10:30 Break 11:00 "Interval Timed Coloured Petri Nets and their Analysis" W. M. P. van der Aalst (Eindhoven Univ. of Tech., The Netherlands) 11:30 "Hierarchies in Colored GSPNs" P. Buchholz (Univ. Dortmund, Germany) 12:00 "Analysis of Place-Transition Nets with Timed Arcs and its Application to Batch Process Control" H.-M. Hanisch (Univ. Dortmund, Germany) 12:30 - 2:00 Lunch 2:00 "Liveness and Home States in Equal Conflict Systems" E. Teruel and M. Silva (Univ. of Zaragoza, Spain) 2:30 "Shortest Paths in Reachability Graphs" J. Desel and J. Esparza (TU Munchen / Univ. Hildesheim, Germany) 3:00 "A Unified Approach for Reasoning About Conflict-Free Petri Nets" H.-C. Yen, B. Y. Wang, and M.-S. Yang (National Taiwan U., Taiwan) 3:30 Coffee Break 4:00 - 6:00 Project Presentations 4:00 "On Net Modeling of Industrial Size Concurrent Systems" L. Cherkasova, V. Kotov, and T. Rokicki (H.-P. Lab, Palo Alto / Stanford Univ., USA) 4:20 "Petri Net Based Specification of Services in an Intelligent Network - Experiences Gained from a Test Case Application" C. Capellmann and H. Dibold (DBP Telekom, Darmstadt, Germany) 4:40 "A Colored Petri Net Model for a Naval Command and Control System" J. Berger and L. Lamontagne (DREV, Quebec city, Canada) 5:00 "Analysis of the TMS320C40 Communication Channels Using Timed Petri Nets" D. A. Hartley and D. M. Harvey (Liverpool J. Moores Univ., U.K.) 5:20 "Protocol Optimization for a Packet-Switched Bus in case of Burst Traffic by means of GSPN" G. Klas (Siemens R & D, Munchen, Germany) 5:40 "Petri Nets Modeling in Pipelined Microprocessor Design" Q. Zhang and H. Grunbacher (Vienna Univ. of Tech., Vienna, Austria) 6:00 Adjourn 8:00 - 9:30 WORK-IN-PROGRESS SESSION The conference participants are invited to make short (approximately 10 minutes) presentation of their ongoing work. Those who wish to contribute should contact the organizing committee (T. Murata or S. M. Shatz) before the conference (June 18). E-mail: pn93@eecs.uic.edu, fax:: (312)413-0024, Phone: (312)996-5488. Thursday June 24 8:30 "Applications of qualitative and quantitative structural analysis of net models" Invited Speaker - M. Silva (Univ. of Zaragoza, Spain) 9:30 "A subset of Lotos with the Computational Power of Place/Transition-Nets" M. Barbeau and G. v. Bochmann (Uinv. of Sherbrooke / Univ. of Montreal, Canada) 10:00 Coffee Break 10:30 "Integrating Software Engineering Methods and Petri Nets for the Specification and Prototyping of Complex Information Systems" Y. Deng, S.-K. Chang, J. C.A. de Figueiredo and A. Perkusich (Florida Int. Univ.-Miami / Univ. of Pittsburg, USA) 11:00 A Client-Server Protocol for the Composition of Petri Nets C. Sibertin-Blanc (Univ. of Toulouse, France) 11:30 Integration of Specification for Modeling and Specification for System Design C.-Y. Wang and K. S. Trivedi (Duke Univ. Durham, USA) 12:00 Lunch 1:30 "Linear Time Algorithm to Find a Minimal Deadlock in a Strongly Connected Free-Choice Net" P. Kemper (Univ. Dortmund, Germany) 2:00 "An Efficient Algorithm for Finding Deadlocks in Colored Petri Nets" K. Barkaoui, C. Dutheillet and S. Haddad (CNAM / U. of P&M Curie, Paris France) 2:30 "Construction of S-invariants and S-components for Refined Petri Boxes" R. Devillers (Universite Libre de Bruxelles, Belgium) 3:00 Coffee Break 3:30 "Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs" S. Christensen and N. D. Hansen (Aarhus Univ., Denmark) 4:00 "Variable Reasoning and Analysis about Uncertainty with Fuzzy Petri Nets" T. Cao and A. C. Sanderson (RPI, Troy, NY USA) 4:30 "Exploiting T-Invariant Analysis in Diagnostic Reasoning on a Petri Net Model" L. Portinale (Univ. of Torino, Italy) 5:00 Adjourn 6:30 SOCIAL HOURS AND RECEPTION 7:30 BANQUET Friday June 25 8:30 "Petri Nets with Continuous-State Marking Processes" Invited Speaker - K. S. Trivedi (Duke Univ., Durham, NC, USA 9:30 "New Priority-Lists for Scheduling in Timed Petri Nets" T. Watanabe and M. Yamauchi (Hiroshima Univ., Japan) 10:00 Coffee Break 10:30 "Distributed Simulation of Timed Petri Nets: Exploiting the Net Structure to Obtain Efficiency" G. Chiola and A. Ferscha (Univ. of Torino, Italy /Univ. of Vienna, Austria) 11:00 "On Well-Formed Nets and Optimal Firing Test" J.-M. Ilie' and O. Rojas (Univ. of P&M Curie, Paris, France) 11:30 "Taking Advantages of Temporal Redundancy in High Level Petri Nets Implementations" J.A. Banares, P.R. Muro-Medrano and J.L. Villaroel (Univ. of Zaragoza, Spain) 12:00 Lunch 1:30 "Marking Optimization of Stochastic Timed Event Graphs" N. Sauer and X.-L. Xie ( INRIA, Metz, France) 2:00 "Transient Analysis of Deterministic and Stochastic Petri Nets" H. Choi, V. G. Kulkarni and K. S. Trivedi (Duke Univ., Durham, NC, USA) 2:30 "Analysis of Dynamic Load Balancing Strategies Using a Combination of Stochastic Petri Nets and Queueing Networks" C.R.M. Sundaram and Y. Narahari (U. of Saskatchewan, Canada / IIS, Bangalore, India) 3:00 Coffee Beak 3:30 "Compositional Liveness Properties of EN-Systems" D. Gomm, E. Kindler, B. Paech and R. Walter (TU-Munchen, Germany) 4:00 "Synthesis of Net Systems" L. Bernadiello (Univ. of Milan, Italy) 4:30 - 5:00 Closing session ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ PETRI NETS 1993 COMMITTEES Program Committee M. Ajmone-Marsan Italy (Chair) E. Best Germany J. Billington Australia M. Diaz France S. Donatelli Italy C. Girault France K. Jensen Denmark H.C.M. Kleijn The Netherlands B. Krogh USA A. Mazurkiewicz Poland J.F. Meyer USA M. Molloy USA T. Murata USA G. Nutt USA K. Onaga Japan L. Pomello Italy W. Reisig Germany M. Silva Spain P.S. Thiagarajan India W.M. Zuberek Canada Steering Committee M. Ajmone-Marsan Italy J. Billington Australia H.J. Genrich Germany C. Girault France K. Jensen Denmark G. De Michelis Italy T. Murata USA C.A. Petri Germany (Honorary Member) W. Reisig Germany G. Roucairol France G. Rozenberg The Netherlands (Chair) M. Silva Spain Organizing Committee Tadao Murata Sol Shatz Ugo Buy Organized and hosted by Department of Electrical Engineering and Computer Science The University of Illinois at Chicago, with the assistance of Meta Software Corporation In Cooperation with IEEE Computer Society, AFCET SIG "Systemes Paralleles et Distribues", CNRS-C , AICA, BCS SIG "Formal Aspects of Computer Science", EATCS, and GI SIG "Petri Nets and Related System Models" Corporate Sponsors: Bull, Fujitsu, Hitachi Software, Sun Micro ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ REGISTRATION FORM To register, return this form to PETRI NETS REGISTRAR UIC CONFERENCES and INSTITUTES (M/C 607) 1033 W. VAN BUREN ST., SUITE 700N, 7TH FLOOR CHICAGO, IL 60607 USA With credit card payment, you can register by Phone (312) 996-5225 or FAX (312) 996-5227, but not via e-mail. Please type or print Last Name ________________________ First Name _____________________ Organization ______________________________________________________ Address ___________________________________________________________ __________________________________________________________________ __________________________________________________________________ Phone: ________________________ Fax: _____________________________ E-mail: __________________________________________________________ (If you don't want your phone number, etc. to appear on the participant list, please so indicate.) Please circle membership information, as appropriate. I am a member of: ACM AFCET AICA BCS EATCS GI IEEE. I wish to register for the following: ___ Two-Day Tutorial, June 21-22 Fees (Check one): Member (by May 24) ___$300, (after May 24) ____$350; Non-Members (by May 24) ___$320, (after May 24) ___$370 Check which session you plan to attend each day Monday, June 21 (check one) _____ Introductory I _____ Advanced Practical Tuesday June 22 (check one) _____ Introductory II _____ Advanced Theory _____ Case Studies ___ Three-Day Conference (June 23-25) Fees (Check one): Member (by May 24) ___$395, (after May 24) ___$445; Non-Members (by May 24) ___$415, (after May 24) ___$465 Do you wish to register for the workshop, "Computer Supported Cooperative Work: Petri Nets and Related Formalisms", on June 22? (Circle one) YES NO (Note: To register for this workshop, you must also be registered for the conference.) __ Additional/guest banquet tickets Number ___@ $45 each = $_____ Total Payment Enclosed $_______________________________________ PAYMENT METHOD:____ Check or money order, payable to the University of Illinois - PETRI NETS 1993. U.S. currency only. Funds must be drawn on a U.S. bank; or __ Discover __ MasterCard __ Visa Exp. Date _____/_________ Credit Card Number ____________________________________________ Cardholder's Signature ________________________________________ Refunds, less $25 processing fee, available for requests received in writing by June 5, 1993. ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ MAKE YOUR OWN ROOM RESERVATIONS by June 5, 1993 at The Bismark Hotel, 171 W. Randolph Street Chicago Illinois 60601, U.S.A. FAX (312) 236-3177 Phone (312) 236-0123, Outside Chicago, but within Continental U.S. 1-800-643-1500 Ask for special Petri Nets '93 rates: $65 Single, $75 Double, $85 Triple, $95 Quad. plus tax Identify yourself as a participant in Petri Nets' 93. **************END********************************* ------------------------------ Date: Mon, 3 May 93 14:57:38 EDT From: khahn@cs.rutgers.edu (Karen Hahn) To: na.digest@surfer.epm.ornl.gov, simulation@bikini.cis.ufl.edu Cc: khahn@cs.rutgers.edu, imacs93@newton.slu.edu Subject: 2nd. IMACS Int'l. Conference on Computational Physics Call for Papers/Call for Sessions 2nd. IMACS International Conference on COMPUTATIONAL PHYSICS October 6-9, 1993 St. Louis, MO, USA Conference Chair: Prof. Jean Potvin - St. Louis University Topics to include: Computational Fluid Dynamics, Statistical mechanics, Condensed matter Physics, Non-linear Dynamics, Quantum Field Theory on the Lattice, Bio-Mechanics, Semi-Conductor Devices, Neural Networks, Applications of Super- and Parallel Computers. Proceedings will be produced, and selected papers of the conference will also appear as regular articles in the IMACS journals. (IMACS publishes MATHEMATICS AND COMPUTERS IN SIMULATION/North Holland; APPLIED NUMERICAL MATHEMATICS/North Holland; JOURNAL OF COMPUTATIONAL ACOUSTICS/World Scientific Pub. Co.) THE FOLLOWING MAY BE RETURNED BY E-MAIL AND/OR REGULAR MAIL: ******************************************************************** NAME: _____________________________________________________________ MAILING ADDRESS: ____________________________________________________ ____________________________________________________ ____________________________________________________ I am interested in: ____ organizing a session for the conference. ____ submitting a paper. ____ being on the mailing list. Title of paper, etc.: _____________________________________________________ ____________________________________________________________________________ ____________________________________________________________________________ ____________________________________________________________________________ Send by e-mail to: imacs93@newton.slu.edu, imacs@cs.rutgers.edu Send by mail to: IMACS'93 Department of Science and Mathematics Parks College of Saint Louis University Cahokia, IL 62206, USA or IMACS Secretariat Department of Computer Science Rutgers University New Brunswick, NJ 08903, USA ------------------------------ From: EFiesler@IDIAP.CH (E. Fiesler) Subject: SimTec93 + WNN93 + FNN93; Call for papers. Keywords: WNN, FNN, SimTec, ISTM'93, call-for-papers, simulation, neural network, fuzzy logic Date: Tue, 4 May 1993 15:25:19 GMT C A L L F O R P A P E R S 1993 INTERNATIONAL SIMULATION TECHNOLOGY MULTICONFERENCE SimTec93 * WNN93 * FNN93 SimTec: Computer Modeling Applications & Research - ALL Areas Applications * Aerospace * Emerging Technologies Mission Earth * Virtual Reality * Imaging WNN/FNN: Neural Networks * Fuzzy Logic * Computational AI Genetic Algorithms * Chaos & Fractals * Biological Models Virtual Reality * Implementations * Standards November 7-10, 1993 SAN FRANCISCO, CALIFORNIA Convenient. View of the beautiful bay. Near area attractions. ACADEMIC * INDUSTRIAL * GOVERNMENT TECHNOLOGY TRANSFER Awards Luncheon STANDARDS * Exhibits * Demonstrations * CONTESTS Tour NASA/Ames ------ SIMTEC93: INTERNATIONAL SIMULATION TECHNOLOGY CONFERENCE ------- Sponsor: SCS; CoSponsor: NASA; Cooperating: SPIE ----------------- WNN93: COMPUTATIONAL AI CONFERENCE ------------------ (Formerly Workshop on Neural Networks) Sponsor: SCS; CoSponsor: NASA; Cooperating: SPIE, INNS Participating: IEEE-NNC --------------- FNN93: TUTORIALS AND STANDARDS SEMINAR ---------------- PreConference Tutorials and Seminar Fuzzy Systems * Neural Networks * Computational AI Sponsor: SCS; Co-Sponsor: NASA Contact: Mary Lou Padgett, Associate VP for SimTec Auburn University, 1165 Owens Road, Auburn, AL 36830 (205) 821-2472/3488; Fax: (205) 844-1809; mpadgett@eng.auburn.edu [ S C S ] The Society for Computer Simulation P.O.Box 17900, San Diego, CA 92117 P: (619) 277-3888; F: (619) 277-3930 ======================================================================== INTERNATIONAL PROGRAM COMMITTEE General Chair: Ted Lambert - SCS General Program: Martin Dost - SCS Western Simulation Council: Barok Khoshnevis - USC Local Arrangements: Norm Pobanz - Bechtel NASA/Ames Tour Arrangements: Bill Cameron, H. Berenji, S. Columbano Commercial Exhibits: Ed Edwards, Motorola NASA / ESA Representatives: Robert Savely - NASA/JSC Hamid Berenji - NASA/Ames Sylvano Colombano - NASA/Ames Robert Shelton - NASA/JSC Joseph Mica - NASA/Goddard Tim Cleghorn - NASA/JSC Robert Lea - NASA/JSC Juan Miro - ESOC/ESA SimTec John McLeod - SCS Ben Clymer - SCS Norm Pobanz - Bechtel Stu Schlessinger - SCS Martin Wildberger - EPRI Ralph Huntsinger - CS Chico Abul Moaty Fayek - CS Chico Bill Cameron - NASA (ret.) Roy Latham - CGSD Dave O'Neil - SCS Kevin Reilly - UAB Ratan Guha - UCF V. Honovar - Iowa State U. Wartain Jemian - Auburn U. Chris Ward - Auburn U. C. F. Chen - Boston U. Hassan Farhat - U. Nebraska Omaha Keith Klukis - Martin Marietta John Murphy - Westinghouse Dale Whittaker - Texas A & M M. Obaidat - CUNY WNN * FNN Mary Lou Padgett - Auburn U. Walter J. Karplus - UCLA Lotfi Zadeh - Berkeley Paul Werbos - NSF Bart Kosko - USC Joe Brown - Thought Processes, Inc. E. Tzanakou - Rutgers U. David B. Hertz - U. Miami George Rogers - NSWC Ed Edwards - Motorola Louis Sheppard - UT Medical Branch Len Trejo - Navy, San Diego Holger Jaenisch - Nichols Research Bob Clapp - ORNL Rao Vemuri - LLNL T. A. Roppel - Auburn U. Emile Fiesler - IDIAP, Switzerland K. Ashenayi - U. Tulsa ======================================================================== SimTec Topics of Interest Include, but are Not Limited To: SIMULATION APPLICATIONS Chair: Martin Dost - SCS * Co-Chairs: M. Wildberger - EPRI & R. Guha UCF Power Systems Software Modeling Reliability and Quality Assurance Massively Parallel & Distributed Syst Robotics Ground Vehicle Simulation Automatic Control Systems Signal Processing and Analysis Simulation in ADA High Performance Computers/Computing Electronics/VLSI Model Validation Simulation Facilities Educ. for Simulation Professionals AEROSPACE Chair: Hamid Berenji - NASA/Ames * Co-Chair: Juan Miro - ESA Satellite Simulators Guidance, Navigation & Control Real Time Simulation Control Systems Space Avionics Display & Astronaut Training Control Systems Simulation Man-in-the-Loop Flight Remotely Piloted Vehicles Decision Support Systems Robotics & Manufacturing Facilities Planning and Change EMERGING TECHNOLOGIES Chair: Abul Moaty Fayek - CS Chico * Co-Chair T. A. Roppel - Auburn U. Automation & Robotics Training Intelligent Computer Aided Training Knowledge Based Systems Object Oriented Programming Intelligent Sensor Systems Biotechnology & Simulation Microelectronics Multimedia Advances in Simulation Intelligent Computer Environments VIRTUAL REALITY Chair: J. Murphy - Westinghouse Co-Chairs: R. Savely - NASA/JSC, Ben Delaney - CyberEdge Journal Applications Human Factors Hardware and Software Advances in Virtual Reality IMAGING Keith Klukis - Martin Marietta * Co-Chair: Bart Kosko - USC Computer Image Generation Robot & Machine Vision Image Processing & Analysis Biological Modeling of Vision Image Registration Advances in Imaging IR and MMW Image Techniques Automatic Target Recognition MISSION EARTH Chair: John McLeod - SCS * Co-Chair: Ben Clymer - SCS Dueling Methodologies Global Simulations for Education Trends in Mission Earth Global Modeling & Simulation Needs of Global Simulation for Global Planning Progress and Status of State of the Art Mission Earth Activity Organizational Session ======================================================================== W N N 9 3 / F N N 9 3 / S a n F r a n c i s c o November 7-10, 1993 * San Francisco, CA The WNN93 Conference on Computational AI is an extension of the Workshops on Neural Networks--Academic / Industrial / NASA / Defense: Tutorials and Technical Interchange. Monday, November 8 - Wednesday, November 10, 1993 Registration Covers Both SimTec93 and WNN93 sessions and one Proceedings KEYNOTE: "Soft Computing" Lotfi Zadeh - UC Berkeley OVERVIEWS * METHODOLOGY * APPLICATIONS * IMPLEMENTATIONS Academic - Industrial - Government Paper Contest * Awards Luncheon Exhibits * Demonstrations * Tutorials * Tour NASA/Ames STANDARDS: Performance Measure Paper Competition - R. Shelton,NASA/JSC STANDARDS: Comparative Paradigm Paper Competition - E. Tzanakou,Rutgers NASA Neural Networks User Group: Robert Shelton, NASA/JSC NEURAL NETWORKS Chair: Bob Shelton - NASA/JSC * Walter Karplus - UCLA Paul Werbos - NSF and Len Trejo, Navy, San Diego FUZZY LOGIC Chair: Hamid Berenji - NASA/Ames Co-Chairs: Joe Mica - NASA Goddard, Lotfi Zadeh - Berkeley GENETIC ALGORITHMS Chair: Joe Brown - Thought Processes, Inc. Co-Chair: Sylvano Colombano - NASA/Ames CHAOS and FRACTALS Chair: Holger Jaenisch - Nichols Research Co-Chair: Ned Clapp - ORNL * Rao Vemuri - LLNL BIOLOGICAL MODELS Chair: Louis Sheppard - UT Medical Branch Co-Chair: David Bendell Hertz - U. Miami VIRTUAL REALITY Chair: Bart Kosko, USC Co-Chairs: Robert Savely - NASA/JSC and Richard A. Blade - UCCS IMPLEMENTATIONS Chair: Ed Edwards - Motorola Co-Chairs: Bob Lea & Tim Cleghorn - NASA/JSC and T. A. Roppel - AU STANDARDS Chair: Walter J. Karplus - UCLA Co-Chair: Mary Lou Padgett - Auburn University Working Groups: IEEE-NNC Glossary, Performance, Interfaces, Fuzzy Systems, Virtual Reality SCS Neural Networks and Simulation ------------------------------- FNN ----------------------------------- Chair: Mary Lou Padgett Co-Chairs: Hamid Berenji - NASA/Ames Sylvano Colombano - NASA/Ames * Joseph Mica - NASA/Goddard Robert Savely - NASA/JSC * Lotfi Zadeh - Berkeley Sunday, November 7, 1993 - Separate Fee Fuzzy Systems * Neural Networks * Computational AI Basics * Applications * Examples * Standards * NETS Software Given ======================================================================== AUTHOR INSTRUCTIONS FOR SIMTEC AND WNN Papers containing original research contributions, tutorials, written and oral descriptions of company thrusts and government projects are of interest. Fully reviewed papers will be labeled such in the proceedings. Other presentations may be oral, or less formal, and require only an abstract submission by June 1. Prospective authors are invited to submit full papers (maximum of 20 pages double spaced) describing original or tutorial work for review. Four copies of the manuscript should be submitted by June 1. Late papers will be considered on a space available basis. Please include: full name, affiliation, address, phone and fax numbers, and e-mail address of each author and designate the author who is to be the contact. Authors must obtain employer, client or government releases prior to submission of the final manuscript. Accepted papers will be included in the conference proceedings, provided authors meet published deadlines and pay one registration fee ($315) per paper or presentation accepted. Suggestions for panel discussions and other conference activities are welcomed. Submit by June 1, for consideration and inclusion in the preliminary program of the conference. KEY DATES: Draft papers, proposals and/or abstracts Due: June 1, 1993 Camera-ready papers: June 30, 1993 CONTACT: Mary Lou Padgett, Associate VP for SimTec Auburn University, 1165 Owens Road, Auburn, AL 36830 (205) 821-2472/3488; Fax: (205) 844-1809; mpadgett@eng.auburn.edu (for SimTec submissions address to Martin Dost, c/o Padgett) ----------------------------- REGISTRATION ----------------------------- 1993 INTERNATIONAL SIMULATION TECHNOLOGY MULTICONFERENCE San Francisco Airport Marriott, California November 7-10, 1993 SimTec93 * WNN93 * FNN93 Registration fee for SimTec or WNN includes attendance at both conferenc es, speakers' breakfast (if applicable), one Proceedings and any planned social functions. Separate Sunday registration fee for FNN includes attendance at all Nov. 7 presentations, coffee breaks, handouts, executable copy of NASA NETS software. Make checks payable to SCS. Mail registration to SCS, P.O.Box 17900, San Diego, CA 92117-7900. Phone: (619) 277-3888. Fax: (619) 277-3930. Authors: This registration form must be completed and returned with your manuscript by June 30. Registration fee must be guaranteed by receipt of check or credit card number for paper inclusion in conference proceedings. Registration is not refundable. Others may preregister until Oct. 7, 1993. Commercial Exhibitors: Call for information! Name: _________________________________________________________________ Position: ____________________________________________________________ Organization: ________________________________________________________ Address: _____________________________________________________________ _____________________________________________________________ City: _____________________ State/Country_____________ Zip: __________ Business Phone: ___________________ Home Phone: ______________________ FAX: ___________________ Email: ______________________________________ Paper(1)# (if any): Paper(1) Title: Paper(2)# (if any): Paper(2) Title: * FNN Registration Fee ($185 before Oct 7, $265 after): $_______________ * SimTec ___ or WNN ___ Conference Fee: Attendees (Members $315 before Oct 7, $375 after; Non-members $375 before Oct 7, $435 after): . . . $_______________ Authors ($315 per paper or presentation, due July 30):$_______________ Extra Page Charges ($75 per extra page, if over 6 pages in a camera-ready paper):. $_______________ Membership: SCS___ NASA___ SPIE___ INNS___ IEEE-NNC___ Member Number: * SCS Membership Dues ($60 - enclose membership appl.):$_______________ * TOTAL: . . . . . . . . . . . . . . . . . . . . . . . $_______________ Method of Payment (No Cash Accepted): Visa___ Mastercard___ Am. Express___ Check___ Company PO___ Gov't Form 1556___ Card Number: Exp. Date: Authorizing Signature: - - - - - - - - MAKE HOTEL RESERVATIONS INDEPENDENTLY!!! - - - - - - - - Mention SOCIETY FOR COMPUTER SIMULATION for conference rates of $90. San Francisco Airport MARRIOTT 1800 Old Bayshore Hwy., Burlingame, CA 94010-1294 415-692-9100 Location: Bayside, 1 mile south of San Francisco International Airport at the Millbrae Avenue East exit. Guest Services: Complimentary Airport Shuttle Service * Auto Rental Valet and Free Parking * Gift Shop * Disco * Restaurants Luxury Rooms: $90 single or double. Reserve before October 7, 1993. Places to See/Things to Do: Fisherman's Wharf * Chinatown * Ghiradelli Square * The Cannery Golden Gate Bridge and Park * Whalewatching * Half Moon Bay Vineyard Tours in Napa and Sonoma Valley * Candlestick Park SimTec93 * WNN93 * FNN93 SEE YOU IN SAN FRANCISCO! E. Fiesler IDIAP C.P. 609 CH-1920 Martigny E-mail: EFiesler@IDIAP.CH (Internet) ------------------------------ Newsgroups: comp.simulation From: kr94@ai.univie.ac.at (KR94 Conference Service) Subject: CfP: KR94 Date: Tue, 4 May 1993 12:45:54 GMT KR'94 - CALL FOR PAPERS FOURTH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING Gustav Stresemann Institut, Bonn, Germany May 24-27, 1994 with support from Gesellschaft fuer Informatik Explicit representations of knowledge manipulated by inference algorithms provide an important foundation for much work in Artificial Intelligence, from natural language to expert systems, and a growing number of researchers study the principles governing systems based on such representations and reasoning. The KR conferences bring together these researchers in a more intimate setting than that of general AI conferences, and provide authors with the opportunity to give presentations of adequate length to present substantial results. This year's conference will take place in Europe for the first time. The conference emphasizes both the theoretical principles of knowledge representation and reasoning and the relationships between these principles and their embodiments in working systems. Authors are encouraged to relate their work to at least one of the following questions: (1) What issues arise in representing and using knowledge about real problems, and how can they be addressed? (2) What are the theoretical principles in knowledge representation and reasoning? (3) How can these principles be embodied in implemented knowledge representation systems, and what practical tradeoffs arise? (4) How do these approaches to problems relate to corresponding approaches in other parts of AI (natural language, robotics, etc.) or in other fields (psychology, philosophy, logic, economics, cognitive science, computer science, management, engineering, etc.) Submissions are encouraged in (but are not limited to) the following topic areas: REPRESENTATIONAL FORMALISMS REASONING METHODS AND TASKS - logics of knowledge and belief - deduction - nonmonotonic logics - abduction - temporal logics - induction - spatial logics - deliberation and decision analysis - taxonomic logics - planning and plan analysis - logics of uncertainty - learning and evidence - diagnosis - logics of preference and utility - classification - logics of intentions and actions - inheritance - deontic logics - belief management and revision - constraint solving - analogical reasoning - reasoning about reasoning GENERIC ONTOLOGIES FOR DESCRIBING ISSUES IN IMPLEMENTED KR&R SYSTEMS - time - comparative evaluation - space - empirical results - causality - benchmarking and testing - resources - reasoning architectures - constraints - efficiency/completeness tradeoffs - decisions - complexity - activities - algorithms - mental states - embedded systems - multi-agent organizations - knowledge sharing and reuse - applications classes, e.g. medicine - standards SUBMISSION OF PAPERS The Program Committee will review EXTENDED ABSTRACTS rather than complete papers. Abstracts must be at most twelve (12) pages with a maximum of 38 lines per page and an average of 75 characters per line (corresponding to the LaTeX article-style, 12pt), excluding the title page and the bibliography. Overlength submissions will be rejected without review. All abstracts must be submitted on 8 1/2" x 11" or A4 paper, and printed or typed in 12-point font (10 characters/inch on a typewriter). Dot matrix printout, FAX, or electronic submission will not be accepted. Each submission should include the names and complete addresses (including email, when possible) of all authors. Correspondence will be sent to the first author, unless otherwise indicated. Also, authors should indicate under the title which of the questions and/or topic areas listed above best describes their paper (if none is appropriate, please give a set of keywords that best describe the topic of the paper). To be considered, five (5) paper copies of the extended abstract must be received by one of the program co-chairs no later than November 8, 1993 (or must have been sent by express courier no later than November 5). Authors are also STRONGLY encouraged (it is to their advantage) to submit an electronic abstract in the form described below. Electronic abstracts that accurately reflect the contents of the papers will significantly aid the reviewing process by helping direct the papers to the most appropriate reviewers. MULTIPLE SUBMISSIONS Submitted papers must be unpublished and substantively different from papers currently under review. Papers may be submitted after January 1, 1994 to other conferences as long as (a) the prior submission to KR'94 is noted on those submissions and (b) the paper is withdrawn from the later conference if accepted by KR'94. ELECTRONIC ABSTRACT In addition to submitting the paper copies of the extended abstract, authors should (if possible) send a short (200 word) electronic abstract of their paper to KR94-abstracts@medg.lcs.mit.edu to aid in the reviewing process. In order to make use of software for classifying papers and selecting reviewers, most of the electronic abstract must be in plain ASCII text (no LaTeX or other formatting commands) in the following format, separating each field from the next with a blank line. TITLE: FIRST AUTHOR: <last name, first name> FIRST ADDRESS: <first author address or affiliation> COAUTHORS: <their names, if any> OTHER ADDRESSES: <addresses or affiliations of coauthors> CONTENT AREAS: <at most three content areas, separated by commas> KEYWORDS: <keywords, separated by commas> ABSTRACT: <text of the abstract> The content areas preferably should be drawn from the topics listed above, with other areas added only if necessary. The keywords are to aid the human reviewers only and may be chosen as desired. The text of the abstract field may include formatting commands, if desired, but these should be omitted from all other fields. A blank form for electronic abstracts and an example abstract may be found at the end of this Call. REVIEW OF PAPERS Submissions will be judged on clarity, significance, and originality. An important criterion for acceptance is that the paper clearly contributes to principles of representation and reasoning that are likely to influence current and future AI practice. Extended abstracts should contain enough information to enable the Program Committee to identify and evaluate the principal contribution of the research and its importance. It should also be clear from the extended abstract how the work compares to related work in the field. NOTIFICATION Authors will be notified of the Program Committee's decision by January 24, 1994. Notification will be made by electronic mail whenever possible. FINAL PAPERS Authors of accepted papers will be expected to submit substantially longer full papers for the conference proceedings. Final camera-ready copies of the full papers will be due February 28, 1994. Final papers will be allowed at most twelve (12) double-column pages in the conference proceedings (corresponding to approximately 28 article-style LaTeX pages; a style file will be provided by the publisher). PLANNING TO ATTEND People planning to attend the conference are asked to send a note stating their intention as early as possible to the local conference organizer, Ms. Christine Harms (Christine.Harms@gmd.de), in order to help estimate the facilities needed for the conference. (Postal address: Christine Harms, c/o GMD, Schloss Birlinghoven, W-5205 Sankt Augustin 1, Germany. Phone: +49-2241-14-2473, Fax: +49-2241-14-2472.) CONFERENCE CHAIR Erik Sandewall Department of Computer and Information Science Linkoeping University S-58183 Linkoeping SWEDEN Voice: +46 1328 1408 Fax: +46 1328 2606 Email: ejs@ida.liu.se PROGRAM CO-CHAIRS Jon Doyle Piero Torasso MIT Universita' di Torino Laboratory for Computer Science Dipartimento di Informatica 545 Technology Square Corso Svizzera 185 Cambridge, MA 02139 I-10149 Torino USA ITALY Voice: +1 (617) 253-3512 Voice: +39 11 7712002 Fax: +1 (617) 258-8682 Fax: +39 11 751603 Email: doyle@lcs.mit.edu Email: torasso@di.unito.it LOCAL ARRANGEMENT CHAIR Gerhard Lakemeyer Institute of Computer Science III University of Bonn Roemerstrasse 164 D-5300 Bonn 1 GERMANY Voice: +49-228-550-281 Fax: +49-228-550-382 Email: gerhard@cs.uni-bonn.de PUBLICITY CHAIR Werner Horn Austrian Research Institute for Artificial Intelligence Schottengasse 3 A-1010 Vienna AUSTRIA Voice: +43 1 53532810 Fax: +43 1 5320652 Email: werner@ai.univie.ac.at PROGRAM COMMITTEE Giuseppe Attardi (U. Pisa, Italy), Franz Baader (DFKI, Germany), Fahiem Bacchus (U. Waterloo, Canada), Philippe Besnard (IRISA, France), Piero Bonissone (GE, USA), Craig Boutilier (UBC, Canada), Ron Brachman (AT&T, USA) Maurice Bruynooghe (KUL, Belgium), Anthony Cohn (U. Leeds, UK), Ernest Davis (NYU, USA), Rina Dechter (UC Irvine, USA), Johan de Kleer (Xerox, USA), Oskar Dressler (Siemens, Germany), Jennifer Elgot-Drapkin (Arizona State U., USA), Richard Fikes (Stanford U., USA), Alan Frisch (U. York, UK), Hector Geffner (Simon Bolivar U., Venezuela), Georg Gottlob (TU Wien, Austria), Pat Hayes (U. Illinois, USA), Hirofumi Katsuno (NTT, Japan), Henry Kautz (AT&T, USA), Sarit Kraus (Bar-Ilan U., Israel), Maurizio Lenzerini (U. Rome, Italy), Vladimir Lifschitz (U. Texas, USA), David Makinson (Unesco, France), Joao Martins (IST, Portugal) David McAllester (MIT, USA), John-Jules Meyer (U. Amsterdam, Netherlands), Katharina Morik (U. Dortmund, Germany), Johanna Moore (U. Pittsburgh, USA), Hideyuki Nakashima (ETL, Japan), Bernhard Nebel (DFKI, Germany), Hans Juergen Ohlbach (Max Planck Institut, Germany), Lin Padgham (Linkoeping U., Sweden), Peter Patel-Schneider (AT&T, USA), Ramesh Patil (USC/ISI, USA), Raymond Perrault (SRI, USA), David Poole (UBC, Canada), Henri Prade (IRIT, France), Anand Rao (AAII, Australia), Jeff Rosenschein (Hebrew U., Israel), Stuart Russell (UC Berkeley, USA), Len Schubert (Rochester) Marek Sergot (Imperial College, UK), Lokendra Shastri (U. Pennsylvania, USA), Yoav Shoham (Stanford U., USA), Lynn Stein (MIT, USA), Devika Subramanian (Cornell U., USA), William Swartout (USC/ISI, USA), Austin Tate (AIAI, Edinburgh, UK), Peter van Beek (U. Alberta, Canada), Michael Wellman (U. Michigan, USA) IMPORTANT DATES Submission receipt deadline: November 8, 1993 Author notification date: January 24, 1994 Camera-ready copy due to publisher: February 28, 1994 Conference: May 24-27, 1994 <-- cut here --> ------------------------------------------------------------ KR'94 Electronic Abstract Form Complete and send to KR94-abstracts@medg.lcs.mit.edu ------------------------------------------------------------ TITLE: FIRST AUTHOR: FIRST ADDRESS: COAUTHORS: OTHER ADDRESSES: CONTENT AREAS: KEYWORDS: ABSTRACT: ------------------------------------------------------------ <-- cut here --> ------------------------------------------------------------ KR'94 Electronic Abstract Example ------------------------------------------------------------ TITLE: Begriffsschrift: A formula language, modeled upon that of arithmetic, for pure thought FIRST AUTHOR: Frege, Gottlob FIRST ADDRESS: Department of Mathematics, University of Jena, Germany CONTENT AREAS: logics, deduction KEYWORDS: ideography, conceptual content, inferential sequence, argument, function ABSTRACT: I present an ideography to provide the most reliable test of the validity of a chain of inferences, one that points out every presupposition that tries to sneak in unnoticed, so that its origin can be investigated. I am confident that my ideography can be successfully used wherever special value must be placed on the validity of proofs, as for example when the foundations of the differential and integral calculus are established. ------------------------------ Newsgroups: sci.virtual-worlds,comp.simulation,comp.human-factors,alt.cad.autocad From: rmourant@lynx.dac.northeastern.edu (Ronald Mourant) Subject: VR Workshop Keywords: virtual reality seminar Organization: Division of Academic Computing, Northeastern University, Boston, MA. 02115 USA Date: Fri, 7 May 1993 14:14:17 GMT One Day - Virtual Reality - Professioanl Development Seminar "Software for Virtual Reality Systems" Instructor: Ronald R. Mourant, Ph.D. mourant@world.std.com.us Date: Sunday, July 18, 1993 9A.M. - 5 P.M. Place: Layfayette Hotel, Boston, Massachusetts Cost: $185 Sponsor: 1993 Summer Computer Simulation Conference For a program and registration information: Phone: 619 277-3888 FAX: 619 277-3930 Mail: The Socity for Computer Simulation P.O. Box 17900 San Diego, CA 92177-7900 ------------------------------ From: Manu Thapar <manu@hplight.hpl.hp.com> Subject: Call for Tools - MASCOTS'94 To: simulation@bikini.cis.ufl.edu Date: Thu, 6 May 93 10:23:50 PDT ============================================================================= CALL FOR TOOLS -- MASCOTS'94 International Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems Sponsored by the ACM SIGSIM, SCM SIGARCH, ACM SIGMETRICS, SCS, IEEE TCSIM, IEEE TCARCH, IFIP WG 7.3 Jan. 31 - Feb. 2 1993, Durham, North Carolina, USA ============================================================================= The MASCOTS'94 workshop is expected to be a major event in the areas of Modeling, Analysis, and Simulation of Computer and Communication Systems. For the TOOLS FAIR that will be held during MASCOTS'94, we are looking for interesting entries of modeling, analysis, or simulation systems, both from academic and industrial backgrounds. We are especially looking for TOOLS/SIMULATION SYSTEMS in the areas given below: Please send submissions for the following areas to Thomas Braunl: - Parallel Processing (SIMD) - Artificial Neural Networks - Vision and Image Processing - AI and Expert Systems - Robotics - Visualization - Virtual Reality Please send submissions for the following areas to Manu Thapar: - Parallel Processing (MIMD) - Computer Architecture - Local Area Networks - Telecommunication Systems - Real-Time Systems - VLSI Systems - Data Base Systems - Multimedia and Video Conferencing TOOLS accepted for presentation will be demonstrated in a separate session at MASCOTS'94. TOOLS presentations may be either given "live" on a computer system or prerecorded on video tape. Please note: since this is a special session, conventional slide presentations are not acceptable. The demonstration of each TOOL shall take about 30 min. (including 5-10 min. for Q&A and equipment change). Also, a poster area will be available for exhibition during the whole workshop. Computer and Video Equipment available: Sun SPARCstation 2 (8 Bit color) IBM PC 386 (VGA color) Macintosh II (8 Bit color) Video Cassette Recorder for VHS and S-VHS format (NTSC and PAL color mode) Scan Converter and Beamer for large screen display A brief DESCRIPTION of four pages (including figures) of each TOOL accepted will be included in the workshop proceedings. Please send abstracts of proposed tools to: Thomas Braunl, Univ. Stuttgart IPVR, Breitwiesenstr. 20-22, D-7000 Stuttgart 80, Germany email: braunl@informatik.uni-stuttgart.de or Manu Thapar, Hewlett Packard Research Labs, 1501 Page Mill Road, Palo Alto, CA 94304, USA email: thapar@hplabs.hp.com PROGRAM COMMITTEE MEMBERS Dharma Agrawal* (NCSU, USA) Charlie Knadler (IBM Rockville, USA) Kallol Bagchi* (AUC, Denmark) Anup Kumar (U Louisville, USA) Nader Bagherzadeh (UCI, USA) Benny Lautrup (Bohr Institute, Denmark) M. Bettaz (U Constantine, Algeria) Darrell Long (UCSC, USA) Thomas Braunl (U Stuttgart, Germany) Vijay Madisetti (Georgia Tech, USA.) Jim Burr (Stanford U, USA) Guenter Mamier (U Stuttgart, Germany) Tom Casavant (U Iowa, USA) M Ajmone Marsan (Poly Torino, Italy) Giovanni Chiola* (U Torino, Italy) Ben Melamed (NEC Princeton, USA) Doug DeGroot* (TI, USA) Tuncer Oren (U Ottawa, Canada) Patrick Dowd* (SUNY-Buffalo, USA) Mary Lou Padgett (Auburn U, USA) Ed Deprettere (U Delft, Denmark) Gerardo Rubino (INRIA, France) Larry Dowdy (Vanderbilt U, USA) Herb Schwetman* (MCC, USA) Michel Dubois (USC, USA) Alan J. Smith (UC Berkeley, USA) Serge Fdida (U Rene Descartes, France) L. Spaanenburg (U Stuttgart, Germany) Paul Fishwick (U Florida, USA) Shreekant Thakkar (Sequent, USA) Jean Fourneau (Lab-MASI, France) Manu Thapar (HP Palo Alto, USA) Rhys Francis (CSIRO, Australia) Kishor Trivedi* (Duke U, USA) Geoffrey Fox (Syracuse U, USA) Hamid Vakilzadian (U Nebraska, USA) Erol Gelenbe (Duke U, USA) Jean Walrand (UC Berkeley, USA) Mary Girard (MITRE Corp., USA) Peter Wilke (U Erlangen, Germany) Dave Harper (U Texas, USA) Steve Winter (Poly. C. London, UK) Mark Holliday (Duke U,USA) Felix Wu (UC Berkeley, USA) Bob Jump (Rice U, USA) Bernie Zeigler (U Arizona, USA) Charlie Jung (IBM Kingston, USA) George Zobrist (U Missouri-Rolla, USA) George Kesidis (U Waterloo, Canada) (* Steering Committee Member) SCHEDULE July 1, 1993 Deadline for TOOLS submissions September 1, 1993 Notification of acceptance October 1, 1993 Deadline for camera-ready copy ------------------------------ Newsgroups: comp.simulation From: krishna@pegasus.cs.buffalo.edu (Krishnamoorthy.S.) Subject: CFP: 27th Annual Simulation Symposium Date: Thu, 6 May 1993 15:58:34 GMT =============================================================== CALL FOR PAPERS 27th Annual Simulation Symposium In conjunction with the 1994 SCS Simulation Multiconference Sponsored by The Society for Computer Simulation (SCS) IEEE Computer Society The Association for Computing Machinery (ACM April 11--15, 1994 Hyatt Regency Aventine La Jolla, California The Annual Simulation Symposium is a forum for the interchange of ideas, techniques, and applications among practitioners of simulation in industry, government, and academia. In recent years the Symposium has provided a forum for traditional simulation topics in discrete-event, continuous, digital, and analog simulation. Along with the traditional subjects, this year's Symposium is seeking papers in the following topical areas: o Parallel and Distributed Simulation o Neural Network Models and Simulations o Artificial Intelligence and Simulations o Object Oriented Simulation o Simulation Languages, Tools and Environments o Simulation of Multiprocessor/Parallel-Processor Architecture o Computer and Telecommunications Network Modeling and Simulation o VLSI Circuit Simulation o Simulation of Distributed Systems and Databases Please send by September 15, 1993 four (4) copies of your paper to the Technical Program Chair: Patrick Dowd Dept. Electrical and Computer Engineering State University of New York at Buffalo 201 Bell Hall Buffalo, NY 14260 Phone: (716) 645-2406 E-Mail: dowd@eng.buffalo.edu All submissions will be fully refereed for accuracy, technical content, and relevance. Papers should be no larger that 20 double-spaced pages. Please include full name, affiliation, address, phone number, and e-mail address of each author and designate the author which is to be contacted. The proceedings of the symposium is published by the IEEE Computer Society. The Ira M. Kay Memorial Prize of 500 will be awarded to the Best Paper presented at the Symposium. Top papers will also be considered for inclusion in the International Journal in Computer Simulation. Suggestions for panel discussions and special sessions are also welcome. Proposals should include a title, abstract, biography of the panel organizer, and list of participants. Schedule: Full Paper Submission: Sept. 15, 1993 Notification of acceptance: Nov. 15, 1993 Camera-ready Final Paper: Jan. 15, 1994 Only papers which have not been previously published or presented should be submitted. Authors must obtain employer, client, or governmental releases prior to final submittal. =============================================================== Please return (preferably by E-Mail) the following information to the Publicity Chair (Dennis Mok) if you are interested in receiving further announcements of the 27th Annual Simulation Symposium: Name: __________________________________________________________ Affiliation: __________________________________________________________ __________________________________________________________ __________________________________________________________ __________________________________________________________ Phone: __________________________________________________________ Fax: __________________________________________________________ Email: __________________________________________________________ I intend to submit a paper to the 27th Annual Simulation Symposium: YES [ ] NO [ ] Send to Dennis Mok at mok1@cc.bellcore.com, or mail to: Dr. Dennis S. Mok Bellcore 444 Hoes Lane RRC 1J-213 Piscataway, NJ 08854 Phone: (908) 699-5037 E-Mail: mok1@cc.bellcore.com or dasher.cc.bellcore.com!mok1 =============================================================== -- krishna@cs.buffalo.edu ------- ------------------------------ END OF SIMULATION DIGEST ************************