Application and Theory of Petri Nets 2002
Publication year: 2002
ISBN: 978-3-540-48068-6
Internet Resource: Please Login to download book
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.
Subject: Computer Science, Multimedia, Petri nets, System, algorithms, automata, colored petri nets, distributed computing, distributed programming, flow charts, model checking, petri net, programming, stochastic petri nets, timed petri nets, verification
