zbMATH — the first resource for mathematics

Applications and theory of Petri nets 2005. 26th international conference, ICATPN 2005, Miami, Fl., USA, June 20–25, 2005. Proceedings. (English) Zbl 1076.68004
Lecture Notes in Computer Science 3536. Berlin: Springer (ISBN 3-540-26301-2/pbk). xi, 475 p. (2005).

Show indexed articles as search result.

The articles of this volume will be reviewed individually. For the preceding conference see [Zbl 1052.68002].
Indexed articles:
Franceschinis, Giuliana, Expressiveness and efficient analysis of stochastic well-formed nets, 1-14 [Zbl 1128.68378]
McMillan, Kenneth, Applications of Craig interpolation to model checking, 15-16 [Zbl 1128.68384]
Pincus, Jon; Wing, Jeannette M., Towards an algebra for security policies (extended abstract), 17-25 [Zbl 1128.68309]
Silva, Manuel; Recalde, Laura, Continuization of timed Petri nets: From performance evaluation to observation and control, 26-47 [Zbl 1128.68386]
van der Aalst, W. M. P.; de Medeiros, A. K. Alves; Weijters, A. J. M. M., Genetic process mining, 48-69 [Zbl 1128.68392]
Abbes, Samy, The (true) concurrent Markov property and some applications to Markov nets, 70-89 [Zbl 1128.68056]
Barkaoui, Kamel; Couvreur, Jean-Michel; Klai, Kais, On the equivalence between liveness and deadlock-freeness in Petri nets, 90-107 [Zbl 1128.68058]
Bouillard, Anne; Gaujal, Bruno; Mairesse, Jean, Extremal throughputs in free-choice nets, 108-127 [Zbl 1128.68371]
Brenner, Leonardo; Fernandes, Paulo; Sales, Afonso; Webber, Thais, A framework to decompose GSPN models, 128-147 [Zbl 1128.68372]
Cabac, Lawrence; Duvigneau, Michael; Moldt, Daniel; Rölke, Heiko, Modeling dynamic architectures using nets-within-nets, 148-167 [Zbl 1128.68373]
Capra, Lorenzo; De Pierro, Massimiliano; Franceschinis, Giuliana, A high level language for structural relations in well-formed nets, 168-187 [Zbl 1128.68374]
Clarisó, Robert; Rodríguez-Carbonell, Enric; Cortadella, Jordi, Derivation of non-structural invariants of Petri nets using abstract interpretation, 188-207 [Zbl 1128.68375]
Comet, Jean-Paul; Klaudel, Hanna; Liauzu, Stéphane, Modeling multi-valued genetic regulatory networks using high-level Petri nets, 208-227 [Zbl 1128.68376]
Han, Bing; Billington, Jonathan, Termination properties of TCP’s connection management procedures, 228-249 [Zbl 1128.68379]
van Hee, Kees; Serebrenik, Alexander; Sidorova, Natalia; Voorhoeve, Marc, Soundness of resource-constrained workflow nets, 250-267 [Zbl 1128.68391]
Hoffmann, Kathrin; Ehrig, Hartmut; Mossakowski, Till, High-level nets with nets and rules as tokens, 268-288 [Zbl 1128.68063]
Juhás, Gabriel; Lorenz, Robert; Desel, Jörg, Can I execute my scenario in your net?, 289-308 [Zbl 1128.68380]
Köhler, Michael; Rölke, Heiko, Reference and value semantics are equivalent for ordinary object Petri nets, 309-328 [Zbl 1128.68065]
Lesire, Charles; Tessier, Catherine, Particle Petri nets for aircraft procedure monitoring under uncertainty, 329-348 [Zbl 1128.68383]
Reisig, W., On the expressive power of Petri net schemata, 349-364 [Zbl 1128.68067]
Schäfer, Mark; Vogler, Walter; Jančar, Petr, Determinate STG decomposition of marked graphs, 365-384 [Zbl 1128.68385]
Srba, Jiří, Timed-arc Petri nets vs. networks of timed automata, 385-402 [Zbl 1128.68069]
Wells, Lisa; Maier, Thomas, Specifying and analyzing software safety requirements of a frequency converter using coloured Petri nets, 403-422 [Zbl 1128.68388]
Wynn, Moe Thandar; Edmond, David; van der Aalst, W. M. P.; ter Hofstede, A. H. M., Achieving a general, formal and decidable approach to the OR-join in workflow using reset nets, 423-443 [Zbl 1128.68389]
van Dongen, B. F.; de Medeiros, A. K. A.; Verbeek, H. M. W.; Weijters, A. J. M. M.; van der Aalst, W. M. P., The ProM framework: A new era in process mining tool support, 444-454 [Zbl 1128.68390]
Evangelista, Sami, High level Petri nets analysis with Helena, 455-464 [Zbl 1128.68377]
Verbeek, Eric; van Hattem, Maarte; Reijers, Hajo; de Munk, Wendy, Protos 7.0: Simulation made accessible, 465-474 [Zbl 1128.68387]

68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
00B25 Proceedings of conferences of miscellaneous specific interest
Full Text: DOI