Applications and theory of Petri nets 2003. 24th international conference, ICATPN 2003, Einhoven, The Netherlands, June 23--27, 2003. Proceedings. (Q1880439)

The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 0992.00053) Indexed articles: \textit{Colom, J. M.}, The resource allocation problem in flexible manufacturing systems, 23-35 [Zbl 1274.90133] \textit{Verbeek, H. M. W.; Basten, T.}, Deciding life-cycle inheritance on Petri nets, 44-63 [Zbl 1274.68259] \textit{Badouel, Eric; Chenou, Jules}, Nets enriched over closed monoidal structures, 64-81 [Zbl 1274.68218] \textit{Thierry-Mieg, Yann; Dutheillet, Claude; Mounier, Isabelle}, Automatic symmetry detection in well-formed nets, 82-101 [Zbl 1274.68257] \textit{Bednarczyk, Marek A.; Bernardinello, Luca; Caillaud, Benoît; Pawłowski, Wiesław; Pomello, Lucia}, Modular system development with pullbacks, 140-160 [Zbl 1274.68220] \textit{Gaeta, R.; Gribaudo, M.; Manini, D.; Sereno, M.}, On the use of Petri nets for the computation of completion time distribution for short TCP transfers, 181-200 [Zbl 1274.68232] \textit{Mäkelä, Marko}, Model checking safety properties in modular high-level nets, 201-220 [Zbl 1274.68245] \textit{Júlvez, Jorge; Recalde, Laura; Silva, Manuel}, On reachability in autonomous continuous Petri net systems, 221-240 [Zbl 1274.68238] \textit{Reveliotis, Spyros A.}, On the siphon-based characterization of liveness in sequential resource allocation systems, 241-255 [Zbl 1274.90138] \textit{Lautenbach, Kurt}, Logical reasoning and Petri nets, 276-295 [Zbl 1274.03014] \textit{Eshuis, Rik; Dehnert, Juliane}, Reactive Petri nets for workflow modeling, 296-315 [Zbl 1274.68228] \textit{Genc, Sahika; Lafortune, Stéphane}, Distributed diagnosis of discrete-event systems using Petri nets, 316-336 [Zbl 1274.68234] \textit{van Hee, Kees; Sidorova, Natalia; Voorhoeve, Marc}, Soundness and separability of workflow nets in the stepwise refinement approach, 337-356 [Zbl 1274.68263] \textit{Juhás, Gabriel; Lorenz, Robert; Šingliar, Tomáš}, On synchronicity and concurrency in Petri nets, 357-376 [Zbl 1274.68237] \textit{Fleischhack, Hans; Pelz, Elisabeth}, Hierarchical timed high level nets and their branching processes, 397-416 [Zbl 1274.68231] \textit{Taoka, Satoshi; Furusato, Shinji; Watanabe, Toshimasa}, A heuristic algorithm FSDC based on avoidance of deadlock components in finding legal firing sequences of Petri nets, 417-439 [Zbl 1274.68256]