 |
|
|
Item Details
| Title:
|
APPLICATIONS AND THEORY OF PETRI NETS 2002
23RD INTERNATIONAL CONFERENCE, ICATPN 2002, ADELAIDE, AUSTRALIA, JUNE 24-30, 2002 - PROCEEDINGS |
| By: |
Javier Esparza (Editor), Charles Lakos (Editor) |
| Format: |
Paperback |
| List price:
|
£81.00 |
|
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
|
| ISBN 10: |
3540437878 |
| ISBN 13: |
9783540437871 |
| Publisher: |
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG |
| Pub. date: |
12 June, 2002 |
| Series: |
Lecture Notes in Computer Science v. 2360 |
| Pages: |
445 |
| Description: |
These are the refereed proceedings of the 23rd International Conference on Application and Theory of Petri Nets, ICATPN 2002. The papers address concurrent systems analysis, model validation, business process management, reactive systems, workflow processes, and wireless transaction protocols. |
| Synopsis: |
This volume contains the proceedings of the 23rd International Conference on Application and Theory of Petri Nets. The aim of the Petri net conferences is to createaforumfordiscussingprogressinthe applicationandtheoryofPetrinets. Typically, the conferences have 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- ing committee with the following members: G. Balbo (Italy), J. Billington (A- tralia),G.De Michelis(Italy),S.Haddad(France),K.Jensen(Denmark),S.- magai (Japan), T. Murata (USA), C.A. Petri (Germany; honorary member), W. Reisig (Germany), G. Rozenberg (The Netherlands; chairman), and M. Silva (Spain). Other activities before and during the 2002 conference included tool dem- strations, extensive introductory tutorials, two advanced tutorials on "Work?ow Management: Models, Methods, and Systems" and "Model Checking", and two workshops on "Software Engineering and Formal Methods" and "Formal Me- ods Applied to Defence Systems".The tutorial notes and workshop proceedings are not published in this volume, but copies are available from the organ- ers. The proceedings can be found at http://www.jrpit.flinders.edu.au/ CRPIT.html. The 2002 conference was organized by the Computer Systems Engineering Centre, School of Electrical and Information Engineering at the University of South Australia, Adelaide, Australia with assistance from the Department of Computer Science, Adelaide University, Adelaide, Australia. We would like to thankthemembersoftheorganizingcommittee(seenextpage)andtheir teams. |
| Illustrations: |
biography |
| Publication: |
Germany |
| Imprint: |
Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Returns: |
Returnable |
|
|
|
 |
|
|
|
|
|
Little Worried Caterpillar (PB)
Little Green knows she''s about to make a big change - transformingfrom a caterpillar into a beautiful butterfly. Everyone is VERYexcited! But Little Green is VERY worried. What if being a butterflyisn''t as brilliant as everyone says?Join Little Green as she finds her own path ... with just a littlehelp from her friends.
|
|
All the Things We Carry PB
What can you carry?A pebble? A teddy? A bright red balloon? A painting you''ve made?A hope or a dream?This gorgeous, reassuring picture book celebrates all the preciousthings we can carry, from toys and treasures to love and hope. With comforting rhymes and fabulous illustrations, this is a warmhug of a picture book.
|
|
|
|