Petri Nets 2002

Petri Nets 2002 (June 24-28, 2002, Adelaide, South Australia)
Esparza, J., University of Edinburg, UK
Lakos, C., University of Adelaide, SA, Australia (Eds.)

Application and Theory of Petri Nets 2002

23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002
Proceedings 2002, 444 pp., ISBN 3-540-43787-8

This book constitutes the refereed proceedings of the 23rd International Conference on Application and Theory of Petri Nets, ICATPN 2002, held in Adelaide, Australia in June 2002. The 18 regilar papers and one tool presentation presented together with six invited paper were carefully reviewed and selected from 45 submissions. All current issues on research and development of Petri nets are addressed, in particular concurrent systems analysis, model validation, business process management, reactive systems, workflow processes, wireless transaction protocols.

Series: Lecture Notes in Computer Science.VOL. 2360

Proceedings available online via Springer LINK (Germany or USA)

Official Conference Web Site
Detailed programme and material from various events such as invited lectures.

Call for Participation
List of accepted papers
Call for Tool Demonstrations
Call for papers: HTML, PDF, PDF (2-up), PostScript

Satellite events:
Workshop on Software Engineering and Formal Methods
Workshop on Formal Methods applied to Defence Systems

Call for papers and announcement

[PN Home][Announcements][Last updated]
The maintainers of this page