Application and Theory of Petri Nets 2002

23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings

• Author(s): Javier Esparza, Charles Lakos,
• Publisher: Springer
• Pages: 445
• ISBN_10: 3540480684
  ISBN_13: 9783540480686
  
• Language: en
• Categories: Computers / Computer Science , Computers / Software Development & Engineering / General , Mathematics / Logic , Computers / Networking / Hardware , Computers / Data Science / General , Computers / Information Technology , Mathematics / History & Philosophy , Mathematics / Discrete Mathematics ,

Description:... 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 regular 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.