27. ICATPN 2006:
Turku,
Finland
Susanna Donatelli, P. S. Thiagarajan (Eds.):
Petri Nets and Other Models of Concurrency - ICATPN 2006, 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings.
Lecture Notes in Computer Science 4024 Springer 2006, ISBN 3-540-34699-6 BibTeX
Invited Papers
Full Papers
- Baver Acu, Wolfgang Reisig:
Compensation in Workflow Nets.
65-83
Electronic Edition (link) BibTeX
- Nicolas Baudru, Rémi Morin:
The Synthesis Problem of Netcharts.
84-104
Electronic Edition (link) BibTeX
- Roberto Bruni, Hernán C. Melgratti:
Non-sequential Behaviour of Dynamic Nets.
105-124
Electronic Edition (link) BibTeX
- Thomas Chatain, Claude Jard:
Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets.
125-145
Electronic Edition (link) BibTeX
- Sami Evangelista, Jean-François Pradat-Peyre:
On the Computation of Stubborn Sets of Colored Petri Nets.
146-165
Electronic Edition (link) BibTeX
- Eric Fabre:
On the Construction of Pullbacks for Safe Petri Nets.
166-180
Electronic Edition (link) BibTeX
- David Gilbert, Monika Heiner:
From Petri Nets to Differential Equations - An Integrative Approach for Biochemical Network Analysis.
181-200
Electronic Edition (link) BibTeX
- Andreas Glausch, Wolfgang Reisig:
How Expressive Are Petri Net Schemata?.
201-220
Electronic Edition (link) BibTeX
- Serge Haddad, Lynda Mokdad, Patrice Moreaux:
A New Approach to the Evaluation of Non Markovian Stochastic Petri Nets.
221-240
Electronic Edition (link) BibTeX
- Kees M. van Hee, Irina A. Lomazova, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve:
Nested Nets for Adaptive Systems.
241-260
Electronic Edition (link) BibTeX
- Meuse N. Oliveira Jr., Silvino Neto, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Angelo Ribeiro, Raimundo S. Barreto, Eduardo Tavares, Frederico Braga:
Analyzing Software Performance and Energy Consumption of Embedded Systems by Probabilistic Modeling: An Approach Based on Coloured Petri Nets.
261-281
Electronic Edition (link) BibTeX
- H. C. M. Kleijn, Maciej Koutny:
Infinite Process Semantics of Inhibitor Nets.
282-301
Electronic Edition (link) BibTeX
- Robert Lorenz, Gabriel Juhás:
Towards Synthesis of Petri Nets from Scenarios.
302-321
Electronic Edition (link) BibTeX
- Spyros A. Reveliotis, Jin-Young Choi:
Designing Reversibility-Enforcing Supervisors of Polynomial Complexity for Bounded Petri Nets Through the Theory of Regions.
322-341
Electronic Edition (link) BibTeX
- Stephan Roch, Karsten Schmidt:
On the Step Explosion Problem.
342-361
Electronic Edition (link) BibTeX
- Katrin Winkelmann, Holger Luczak:
Prospective Analysis of Cooperative Provision of Industrial Services Using Coloured Petri Nets.
362-380
Electronic Edition (link) BibTeX
Tool Papers
- Robin Bergenthum, Jörg Desel, Gabriel Juhás, Robert Lorenz:
Can I Execute My Scenario in Your Net? VipTool Tells You!
381-390
Electronic Edition (link) BibTeX
- Olivier Bonnet-Torrés, Patrice Domenech, Charles Lesire, Catherine Tessier:
Exhost-PIPE: PIPE Extended for Two Classes of Monitoring Petri Nets.
391-400
Electronic Edition (link) BibTeX
- Elena Gómez-Martínez, José Merseguer:
ArgoSPE: Model-Based Software Performance Engineering.
401-410
Electronic Edition (link) BibTeX
- R. Goud, Kees M. van Hee, R. D. J. Post, Jan Martijn E. M. van der Werf:
Petriweb: A Repository for Petri Nets.
411-420
Electronic Edition (link) BibTeX
- Jochen Stier, Jens H. Jahnke, Hausi A. Müller:
Geist3D, a Simulation Tool for Geometry-Driven Petri Nets.
421-430
Electronic Edition (link) BibTeX
- Michael Westergaard, Kristian Bisgaard Lassen:
The BRITNeY Suite Animation Tool.
431-440
Electronic Edition (link) BibTeX
Copyright © Sat May 16 22:58:12 2009
by Michael Ley (ley@uni-trier.de)
