Application and theory of Petri nets 2000. 21st international conference, ICATPN 2000, Aarhus, Denmark, June 26--30, 2000. Proceedings (Q1572698)

The articles of mathematical interest will be reviewed individually. The preceding conference (20th, 1999) has been indicated (see Zbl 0915.00049). Indexed articles: \textit{Cortadella, Jordi; Kishinevsky, Michael; Kondratyev, Alex; Lavagno, Luciano; Yakovlev, Alex}, Hardware and Petri nets: Application to asynchronous circuit design, 1-15 [Zbl 0986.68525] \textit{Darondeau, Philippe}, Region based synthesis of P/T-nets and its potential applications, 16-23 [Zbl 0986.68529] \textit{Engels, Gregor; Heckel, Reiko; Sauer, Stefan}, UML -- a universal modeling language?, 24-38 [Zbl 0986.68762] \textit{Larsen, Kim Guldstrand}, Verification of timed and hybrid systems, 39-42 [Zbl 0986.68777] \textit{Ballarini, Paolo; Donatelli, Susanna; Franceschinis, Giuliana}, Parametric stochastic well-formed nets and compositional modelling, 43-62 [Zbl 0986.68528] \textit{Best, Eike; Wimmel, Harro}, Reducing \(k\)-safe Petri nets to pomset-equivalent 1-safe Petri nets, 63-82 [Zbl 0986.68090] \textit{Bruni, Roberto; Montanari, Ugo}, Executing transactions in zero-safe nets, 83-102 [Zbl 0986.68081] \textit{Ciardo, Gianfranco; Lüttgen, Gerald; Siminiceanu, Radu}, Efficient symbolic state-space construction for asynchronous systems, 103-122 [Zbl 0986.68524] \textit{Couvreur, Jean-Michel; Grivet, Sébastien; Poitrenaud, Denis}, Designing a LTL model-checker based on unfolding graphs, 123-145 [Zbl 0986.68078] \textit{Desel, Jörg; Juhás, Gabriel; Lorenz, Robert}, Process semantics of Petri nets over partial algebra, 146-165 [Zbl 0986.68089] \textit{Elkoutbi, Mohammed; Keller, Rudolf K.}, User interface prototyping based on UML scenarios and high-level Petri nets, 166-186 [Zbl 0986.68763] \textit{de Frutos Escrig, David; Valero Ruiz, Valentín; Marroquín Alonso, Olga}, Decidability of properties of timed-arc Petri nets, 187-206 [Zbl 0986.68077] \textit{Gordon, Steven; Billington, Jonathan}, Analysing the WAP class 2 wireless transaction protocol using coloured Petri nets, 207-226 [Zbl 0986.68848] \textit{He, Kevin X.; Lemmon, Michael D.}, Liveness verification of dicrete event systems modeled by \(n\)-safe ordinary Petri nets, 227-243 [Zbl 0986.68097] \textit{Husberg, Nisse; Tynjälä, Teemu; Varpaaniemi, Kimmo}, Modelling and analysing the SDL description of the ISDN-DSS1 protocol, 244-260 [Zbl 0986.68704] \textit{Kleijn, Jetty; Koutny, Maciej}, Process semantics of P/T-nets with inhibitor arcs, 261-281 [Zbl 0986.68088] \textit{Kristensen, Lars Michael; Valmari, Antti}, Improved question-guided stubborn set methods for state properties, 282-302 [Zbl 0986.68083] \textit{Koutny, Maciej}, A compositional model of time Petri nets, 303-322 [Zbl 0986.68072] \textit{Lakos, Charles}, Composing abstractions of coloured Petri nets, 323-345 [Zbl 0986.68075] \textit{Lorentsen, Louise; Kristensen, Lars Michael}, Modelling and analysis of a DANFOSS flowmeter system using coloured Petri nets, 346-366 [Zbl 0986.68705] \textit{Mortensen, Kjeld H.}, Automatic code generation method based on coloured Petri net models applied on an access control system, 367-386 [Zbl 0986.68831] \textit{Poitrenaud, Denis; Pradat-Peyre, Jean-Francois}, Pre- and post-agglomerations for LTL model checking, 387-408 [Zbl 0986.68087] \textit{Schnoebelen, Philippe; Sidorova, Natalia}, Bisimulation and the reduction of Petri nets, 409-423 [Zbl 0986.68074] \textit{Vogler, Walter}, Efficiency of asynchronous systems that communicate asynchronously, 424-444 [Zbl 0986.68080] \textit{Beister, Jochen; Eckstein, Gernot; Wollowski, Ralf}, CASCADE: A tool kernel supporting a comprehensive design method for asynchronous controllers, 445-454 [Zbl 0986.68786] \textit{van der Aalst, Wil M. P.; de Crom, Poul J. N.; Goverde, Roy R. H. M. J.; van Hee, Kees M.; Hofman, Wout J.; Reijers, Hajo A.; van der Toorn, Robert A.}, ExSpect 6. 4: An executable specification tool for hierarchical colored Petri nets, 455-464 [Zbl 0986.68850] \textit{Schmidt, Karsten}, LoLa: A low level analyser, 465-474 [Zbl 0986.68684] \textit{Verbeek, Eric; van der Aalst, Wil M. P.}, Woflan 2. 0: A Petri-net-based workflow diagnosis tool, 475-484 [Zbl 0986.68781]