|
|
|
Item Details
Title:
|
APPLICATION AND THEORY OF PETRI NETS 2000
21ST INTERNATIONAL CONFERENCE, ICATPN 2000 |
By: |
Mogens Nielsen (Editor), Dan Simpson (Editor) |
Format: |
Paperback |
List price:
|
£81.00 |
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
ISBN 10: |
3540676937 |
ISBN 13: |
9783540676935 |
Publisher: |
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG |
Pub. date: |
14 June, 2000 |
Series: |
Lecture Notes in Computer Science v.1825 |
Pages: |
504 |
Description: |
The refereed proceedings of the 21st International Conference on Application and Theory of Petri Nets, ICATPN 2000. The papers address various aspects of Petri net research and development including: system design and verification; UML; compositionality; process algebras; and model checking. |
Synopsis: |
This volume contains the proceedings of the 21st International Conference on Application and Theory of Petri Nets. The aim of the Petri net conferences is to createaforumfordiscussingprogressintheapplicationandtheoryofPetrinets. Typically, the conferenceshave 100{150participants{ one third of these coming from industry while the rest are from universities and research institutions. The conferences always take place in the last week of June. The conference and a number of other activities are co-ordinated by a ste- ingcommittee withthe followingmembers:G.Balbo(Italy),J.Billlington(A- tralia),G.De Michelis(Italy),C.Girault(France),K.Jensen(Denmark),S.- magai (Japan), T. Murata (USA), C. A. Petri (Germany; honorary member), W. Reisig (Germany), G. Roucairol (France), G. Rozenberg (The Netherlands; chairman), and M. Silva (Spain). Otheractivitiesbeforeandduringthe2000conferenceincludedtoolpresen- tions and demonstrations, a meeting on \Interchange Formats", extensive int- ductorytutorials,twoadvancedtutorialson\HardwareDesign"and\Timedand Hybrid Automata", and two workshops on \Software Engineering" and \Pr- tical Use of High-Level Nets".The tutorial notes and workshop proceedings are not published in these proceedings, but copies are available from the organisers. The 2000 conference was organised by the CPN Group at the University of Aarhus, Denmark. We would like to thank the organisers (see next page) and their teams. WewouldliketothankverymuchallthosewhosubmittedpaperstothePetri net conference.We receiveda totalof 57submissions from 20di erent countries. This volume comprises the papers that were accepted for presentation. Invited lectures were given by Jordi Cortadella, Philippe Darondeau, Gregor Engels, Serge Haddad, Kim Guldstrand Larsen, and Ole Lehrmann Madsen. |
Illustrations: |
biography |
Publication: |
Germany |
Imprint: |
Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
Returns: |
Returnable |
|
|
|
|
Ramadan and Eid al-Fitr
A celebratory, inclusive and educational exploration of Ramadan and Eid al-Fitr for both children that celebrate and children who want to understand and appreciate their peers who do.
|
|
|
|
|
|
|
|
|
|
|