Die bibliographische Datenbank LEABib

Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen	Hilfe

Suche: Series=LNCS AND Volume=7927

Als [bib] [pdf] [ps] [dvi] [xml] herunterladen.

The right timing: Reflections on the modeling and analysis of time
Kees van Hee, Natalia Sidorova
Lecture Notes in Computer Science 7927, 2013, pp. 1-20
Eliminating concurrency bugs in multithreaded software: An approach based on control of Petri nets
Stéphane Lafortune, Yin Wang, Spyros Reveliotis
Lecture Notes in Computer Science 7927, 2013, pp. 21-28
Contextual merged processes
César Rodríguez, Stefan Schwoon, Victor Khomenko
Lecture Notes in Computer Science 7927, 2013, pp. 29-48
\omega-Petri nets
Gilles Geeraerts, Alexander Heußner, M. Praveen, Jean-François Raskin
Lecture Notes in Computer Science 7927, 2013, pp. 49-69
Results on equivalence, boundedness, liveness, and covering problems of BPP-Petri nets
Ernst W. Mayr, Jeremias Weihmann
Lecture Notes in Computer Science 7927, 2013, pp. 70-89
A semantics for every GSPN
Christian Eisentraut, Holger Hermanns, Joost-Pieter Katoen, Lijun Zhang
Lecture Notes in Computer Science 7927, 2013, pp. 90-109
Expressing and computing passage time measures of GSPN models with HASL
Elvio Gilberto Amparore, Paolo Ballarini, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis
Lecture Notes in Computer Science 7927, 2013, pp. 110-129
On multi-enabledness in time Petri nets
Hanifa Boucheneb, Didier Lime, Olivier H. Roux
Lecture Notes in Computer Science 7927, 2013, pp. 130-149
Complexity results for elementary Hornets
Michael Köhler-Bußmeier, Frank Heitmann
Lecture Notes in Computer Science 7927, 2013, pp. 150-169
Complexity analysis of continuous Petri nets
Estíbaliz Fraca, Serge Haddad
Lecture Notes in Computer Science 7927, 2013, pp. 170-189
Step persistence in the design of GALS systems
Johnson Fernandes, Maciej Koutny, Marta Pietkiewicz-Koutny, Danil Sokolov, Alex Yakolev
Lecture Notes in Computer Science 7927, 2013, pp. 190-209
A taxonomy of persistent and nonviolent steps
Maciej Koutny, Łukasz Mikulski, Marta Pietkiewicz-Koutny
Lecture Notes in Computer Science 7927, 2013, pp. 210-229
Colouring space - A coloured framework for spatial modelling in systems biology
David Gilbert, Monika Heiner, Fei Liu, Nigel Saunders
Lecture Notes in Computer Science 7927, 2013, pp. 230-249
The vehicle relocation problem in car sharing systems: Modeling and simulation in a Petri net framework
Monica Clemente, Maria Pia Fanti, Agostino M. Mangini, Walter Ukovich
Lecture Notes in Computer Science 7927, 2013, pp. 250-269
Net-based analysis of event processing networks - The fast flower delivery case
Matthias Weidlich, Jan Mendling, Avigdor Gal
Lecture Notes in Computer Science 7927, 2013, pp. 270-290
Hierarchical conformance checking of process models based on event logs
Jorge Munoz-Gama, Josep Carmona, Wil M.P. van der Aalst
Lecture Notes in Computer Science 7927, 2013, pp. 291-310
Discovering block-structured process models from event logs - A constructive approach
Sander J.J. Leemans, Dirk Fahland, Wil M.P. van der Aalst
Lecture Notes in Computer Science 7927, 2013, pp. 311-329
Faster verification of partially ordered runs in Petri nets using compact tokenflows
Robin Bergenthum
Lecture Notes in Computer Science 7927, 2013, pp. 330-348
Unifying the semantics of modular extensions of Petri nets
Alexis Marechal, Didier Buchs
Lecture Notes in Computer Science 7927, 2013, pp. 349-368
Channel properties of asynchronously composed Petri nets
Serge Haddad, Rolf Hennicker, Mikael H. Mller
Lecture Notes in Computer Science 7927, 2013, pp. 369-388
MARCIE - Model checking and reachability analysis done efficiently
Monika Heiner, Christian Rohr, Martin Schwarick
Lecture Notes in Computer Science 7927, 2013, pp. 389-399
CPN Tools 4: Multi-formalism and extensibility
Michael Westergaard
Lecture Notes in Computer Science 7927, 2013, pp. 400-409