The Vehicle Relocation Problem in Car Sharing Systems: Modeling and Simulation in a Petri Net Framework (Englisch)
- Neue Suche nach: Clemente, M.
- Neue Suche nach: Fanti, M.P.
- Neue Suche nach: Mangini, A.M.
- Neue Suche nach: Ukovich, W.
- Neue Suche nach: Clemente, M.
- Neue Suche nach: Fanti, M.P.
- Neue Suche nach: Mangini, A.M.
- Neue Suche nach: Ukovich, W.
- Neue Suche nach: Colom, Jose-Manuel
- Neue Suche nach: Desel, Jorg
In:
Application and theory of Petri nets and concurrency
7927
;
250-269
;
2013
-
ISBN:
-
ISSN:
- Aufsatz (Konferenz) / Print
-
Titel:The Vehicle Relocation Problem in Car Sharing Systems: Modeling and Simulation in a Petri Net Framework
-
Beteiligte:Clemente, M. ( Autor:in ) / Fanti, M.P. ( Autor:in ) / Mangini, A.M. ( Autor:in ) / Ukovich, W. ( Autor:in ) / Colom, Jose-Manuel / Desel, Jorg
-
Kongress:International conference; 34th, Application and theory of Petri nets and concurrency ; 2013 ; Milan, Italy
-
Erschienen in:Application and theory of Petri nets and concurrency , 7927 ; 250-269LECTURE NOTES IN COMPUTER SCIENCE , 7927 ; 250-269
-
Verlag:
- Neue Suche nach: Springer
-
Erscheinungsort:Heidelberg
-
Erscheinungsdatum:01.01.2013
-
Format / Umfang:20 pages
-
Anmerkungen:Includes bibliographical references and index. Also issued online.
-
ISBN:
-
ISSN:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
The Right Timing: Reflections on the Modeling and Analysis of Timevan Hee, K. / Sidorova, N. et al. | 2013
- 21
-
Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri NetsLafortune, S. / Wang, Y. / Reveliotis, S. et al. | 2013
- 29
-
Contextual Merged ProcessesRodriguez, C. / Schwoon, S. / Khomenko, V. et al. | 2013
- 49
-
omega -Petri NetsGeeraerts, G. / Heussner, A. / Praveen, M. / Raskin, J.-F. et al. | 2013
- 70
-
Results on Equivalence, Boundedness, Liveness, and Covering Problems of BPP-Petri NetsMayr, E.W. / Weihmann, J. et al. | 2013
- 90
-
A Semantics for Every GSPNEisentraut, C. / Hermanns, H. / Katoen, J.-P. / Zhang, L. et al. | 2013
- 110
-
Expressing and Computing Passage Time Measures of GSPN Models with HASLAmparore, E.G. / Ballarini, P. / Beccuti, M. / Donatelli, S. / Franceschinis, G. et al. | 2013
- 130
-
On Multi-enabledness in Time Petri NetsBoucheneb, H. / Lime, D. / Roux, O.H. et al. | 2013
- 150
-
Complexity Results for Elementary HornetsKohler-Bussmeier, M. / Heitmann, F. et al. | 2013
- 170
-
Complexity Analysis of Continuous Petri NetsFraca, E. / Haddad, S. et al. | 2013
- 190
-
Step Persistence in the Design of GALS SystemsFernandes, J. / Koutny, M. / Pietkiewicz-Koutny, M. / Sokolov, D. / Yakovlev, A. et al. | 2013
- 210
-
A Taxonomy of Persistent and Nonviolent StepsKoutny, M. / Mikulski, L. / Pietkiewicz-Koutny, M. et al. | 2013
- 230
-
Colouring Space - A Coloured Framework for Spatial Modelling in Systems BiologyGilbert, D. / Heiner, M. / Liu, F. / Saunders, N. et al. | 2013
- 250
-
The Vehicle Relocation Problem in Car Sharing Systems: Modeling and Simulation in a Petri Net FrameworkClemente, M. / Fanti, M.P. / Mangini, A.M. / Ukovich, W. et al. | 2013
- 270
-
Net-Based Analysis of Event Processing Networks - The Fast Flower Delivery CaseWeidlich, M. / Mendling, J. / Gal, A. et al. | 2013
- 291
-
Hierarchical Conformance Checking of Process Models Based on Event LogsMunoz-Gama, J. / Carmona, J. / van der Aalst, W.M.P. et al. | 2013
- 311
-
Discovering Block-Structured Process Models from Event Logs - A Constructive ApproachLeemans, S.J.J. / Fahland, D. / van der Aalst, W.M.P. et al. | 2013
- 330
-
Faster Verification of Partially Ordered Runs in Petri Nets Using Compact TokenflowsBergenthum, R. et al. | 2013
- 349
-
Unifying the Semantics of Modular Extensions of Petri NetsMarechal, A. / Buchs, D. et al. | 2013
- 369
-
Channel Properties of Asynchronously Composed Petri NetsHaddad, S. / Hennicker, R. / Moller, M.H. et al. | 2013
- 389
-
MARCIE - Model Checking and Reachability Analysis Done EfficientlyHeiner, M. / Rohr, C. / Schwarick, M. et al. | 2013
- 400
-
CPN Tools 4: Multi-formalism and ExtensibilityWestergaard, M. et al. | 2013