Die bibliographische Datenbank LEABib

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

Suche: Series=LNCS AND Volume=8489

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

Propagation nets
Kurt Lautenbach
Lecture Notes in Computer Science 8489, 2014, pp. 1-19
Energy-utility analysis for resilient systems using probabilistic model checking
Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Linda Leuschner
Lecture Notes in Computer Science 8489, 2014, pp. 20-39
Complex networks and link streams for the empirical analysis of large software
Matthieu Latapy, Jordan Viard
Lecture Notes in Computer Science 8489, 2014, pp. 40-50
Soundness of timed-arc workflow nets
José Antonio Mateo, Jiȓí Srba, Mathias Grund Srensen
Lecture Notes in Computer Science 8489, 2014, pp. 51-70
Process model discovery: A method based on transition system decomposition
Anna A. Kalenkova, Irina A. Lomazova, Wil M.P. van der Aalst
Lecture Notes in Computer Science 8489, 2014, pp. 71-90
Discovering block-structured process models from incomplete event logs
Sander J.J. Leemans, Dirk Fahland, Wil M.P. van der Aalst
Lecture Notes in Computer Science 8489, 2014, pp. 91-110
Synthesis of persistent systems
Eike Best, Raymond Devillers
Lecture Notes in Computer Science 8489, 2014, pp. 111-129
Learning transparent data automata
Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma
Lecture Notes in Computer Science 8489, 2014, pp. 130-149
A programming language for spatial distribution of net systems
Paweƚ Sobociński, Owen Stephens
Lecture Notes in Computer Science 8489, 2014, pp. 150-169
Flow unfolding of multi-clock nets
Giovanni Casu, G. Michele Pinna
Lecture Notes in Computer Science 8489, 2014, pp. 170-189
Non-interference by unfolding
Paolo Baldan, Alberto Carraro
Lecture Notes in Computer Science 8489, 2014, pp. 190-209
The 4C spectrum of fundamental behavioral relations for concurrent systems
Artem Polyvyanyy, Matthias Weidlich, Raffaele Conforti, Marcello La Rosa, Arthur H.M. ter Hofstede
Lecture Notes in Computer Science 8489, 2014, pp. 210-232
On weighted Petri net transducers
Robert Lorenz, Markus Huber, Günther Wirsching
Lecture Notes in Computer Science 8489, 2014, pp. 233-252
Exhibition of a structural bug with wings
Florent Avellaneda, Rémi Morin
Lecture Notes in Computer Science 8489, 2014, pp. 253-272
Analysis of Petri net models through stochastic differential equations
Marco Beccuti, Enrico Bibbona, Andras Horvath, Roberta Sirovich, Alessio Angius, Gianfranco Balbo
Lecture Notes in Computer Science 8489, 2014, pp. 273-293
Dynamic networks of timed Petri nets
María Martos-Salgado, Fernando Rosa-Velardo
Lecture Notes in Computer Science 8489, 2014, pp. 294-313
A framework for classical Petri net problems: Conservative Petri nets as an application
Ernst W. Mayr, Jeremias Weihmann
Lecture Notes in Computer Science 8489, 2014, pp. 314-333
On the reversibility of well-behaved weighted choice-free systems
Thomas Hujsa, Jean-Marc Delosme, Alix Munier-Kordon
Lecture Notes in Computer Science 8489, 2014, pp. 334-353
(Stochastic) model checking in GreatSPN
Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli
Lecture Notes in Computer Science 8489, 2014, pp. 354-363
StrataGEM: A generic Petri net verification framework
Edmundo López Bóbeda, Maximilien Colange, Didier Buchs
Lecture Notes in Computer Science 8489, 2014, pp. 364-373
A steering server for collaborative simulation of quantitative Petri nets
Mostafa Herajy, Monika Heiner
Lecture Notes in Computer Science 8489, 2014, pp. 374-384
Kaira: Development environment for MPI applications
Stanislav Böhm, Marek Bȇhálek, Ondȓej Meca, Martin S̑urkovský
Lecture Notes in Computer Science 8489, 2014, pp. 385-394