default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID27th ICATPN 2006: Turku, Finland
- Susanna Donatelli, P. S. Thiagarajan:
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
Invited Papers
- Ralph-Johan Back:
Invariant Based Programming. 1-18 - Javier Campos
, José Merseguer:
On the Integration of UML and Petri Nets in Software Development. 19-36 - Ekkart Kindler, Vladimir A. Rubin, Robert Wagner:
Component Tools: Integrating Petri Nets with Other Formal Methods. 37-56 - Jianli Xu:
Using Colored Petri Nets and Tools to Support Mobile Terminal and Network Software Development. 57-64
Full Papers
- Baver Acu, Wolfgang Reisig:
Compensation in Workflow Nets. 65-83 - Nicolas Baudru, Rémi Morin:
The Synthesis Problem of Netcharts. 84-104 - Roberto Bruni, Hernán C. Melgratti:
Non-sequential Behaviour of Dynamic Nets. 105-124 - Thomas Chatain, Claude Jard:
Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets. 125-145 - Sami Evangelista, Jean-François Pradat-Peyre:
On the Computation of Stubborn Sets of Colored Petri Nets. 146-165 - Eric Fabre:
On the Construction of Pullbacks for Safe Petri Nets. 166-180 - David R. Gilbert, Monika Heiner:
From Petri Nets to Differential Equations - An Integrative Approach for Biochemical Network Analysis. 181-200 - Andreas Glausch, Wolfgang Reisig:
How Expressive Are Petri Net Schemata?. 201-220 - Serge Haddad, Lynda Mokdad, Patrice Moreaux:
A New Approach to the Evaluation of Non Markovian Stochastic Petri Nets. 221-240 - Kees M. van Hee, Irina A. Lomazova, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve:
Nested Nets for Adaptive Systems. 241-260 - 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 - H. C. M. Kleijn, Maciej Koutny:
Infinite Process Semantics of Inhibitor Nets. 282-301 - Robert Lorenz, Gabriel Juhás:
Towards Synthesis of Petri Nets from Scenarios. 302-321 - Spyros A. Reveliotis, Jin Young Choi:
Designing Reversibility-Enforcing Supervisors of Polynomial Complexity for Bounded Petri Nets Through the Theory of Regions. 322-341 - Stephan Roch, Karsten Schmidt:
On the Step Explosion Problem. 342-361 - Katrin Winkelmann, Holger Luczak:
Prospective Analysis of Cooperative Provision of Industrial Services Using Coloured Petri Nets. 362-380
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 - Olivier Bonnet-Torrés, Patrice Domenech, Charles Lesire, Catherine Tessier:
Exhost-PIPE: PIPE Extended for Two Classes of Monitoring Petri Nets. 391-400 - Elena Gómez-Martínez, José Merseguer:
ArgoSPE: Model-Based Software Performance Engineering. 401-410 - 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 - Jochen Stier, Jens H. Jahnke, Hausi A. Müller:
Geist3D, a Simulation Tool for Geometry-Driven Petri Nets. 421-430 - Michael Westergaard, Kristian Bisgaard Lassen:
The BRITNeY Suite Animation Tool. 431-440
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-05-27 02:07 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
