Die bibliographische Datenbank LEABib

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

Suche: Series=LNCS AND Volume=3099

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

Positive non-interference in elementary and trace nets
Nadia Busi, Roberto Gorrieri
Lecture Notes in Computer Science 3099, 2004, pp. 1-16
Reachability set generation for Petri nets: Can brute force be smart?
Gianfranco Ciardo
Lecture Notes in Computer Science 3099, 2004, pp. 17-34
Embedded software: Better models, better code
Thomas A. Henzinger
Lecture Notes in Computer Science 3099, 2004, pp. 35-36
Specification and model checking of temporal properties in time Petri nets and timed automata
Wojciech Penczek, Agata Póƚrola
Lecture Notes in Computer Science 3099, 2004, pp. 37-76
Formal tools for modular system development
Lucia Pomello, Luca Bernardinello
Lecture Notes in Computer Science 3099, 2004, pp. 77-96
Stochastic methods for dependability, performability, and security evaluation
William H. Sanders
Lecture Notes in Computer Science 3099, 2004, pp. 97-97
Composition of temporal logic specifications
Adrianna Alexander
Lecture Notes in Computer Science 3099, 2004, pp. 98-116
On the use of coloured Petri nets for object-oriented design
João Paulo Barros, Luís Gomes
Lecture Notes in Computer Science 3099, 2004, pp. 117-136
Qualitative modelling of genetic networks: From logical regulatory graphs to standard Petri nets
Claudine Chaouiya, Elisabeth Remy, Paul Ruet, Denis Thieffry
Lecture Notes in Computer Science 3099, 2004, pp. 137-156
Finite unfoldings of unbounded Petri nets
Jörg Desel, Gabriel Juhás, Christian Neumair
Lecture Notes in Computer Science 3099, 2004, pp. 157-176
Compositional modeling of complex systems: Contact center scenarios in OsMoSys
Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini
Lecture Notes in Computer Science 3099, 2004, pp. 177-196
Generalised soundness of workflow nets is decidable
Kees van Hee, Natalia Sidorova, Marc Voorhoeve
Lecture Notes in Computer Science 3099, 2004, pp. 197-215
Petri net based model validation in systems biology
Monika Heiner, Ina Koch
Lecture Notes in Computer Science 3099, 2004, pp. 216-237
Synthesis of controlled behavior with modules of signal nets
Gabriel Juhás, Robert Lorenz, Christian Neumair
Lecture Notes in Computer Science 3099, 2004, pp. 238-257
New canonical representative marking algorithms for Place/Transition-nets
Tommi A. Junttila
Lecture Notes in Computer Science 3099, 2004, pp. 258-277
Properties of object Petri nets
Michael Köhler, Heiko Rölke
Lecture Notes in Computer Science 3099, 2004, pp. 278-297
LTL model checking for modular Petri nets
Timo Latvala, Marko Mäkelä
Lecture Notes in Computer Science 3099, 2004, pp. 298-311
Covering fairness against conspiracies
Edward Ochmański
Lecture Notes in Computer Science 3099, 2004, pp. 312-330
Modeling and analysis of Margolus quantum cellular automata using net-theoretical methods
Leo Ojala, Olli-Matti Penttinen, Elina Parviainen
Lecture Notes in Computer Science 3099, 2004, pp. 331-350
A framework for the modelling and simulation of Distributed Transaction Processing Systems using Coloured Petri Nets
M. José Polo Martín, Luis A. Miguel Quintales, María N. Moreno García
Lecture Notes in Computer Science 3099, 2004, pp. 351-370
Time Petri nets with inhibitor hyperarcs. Formal semantics and state space computation
Olivier H. Roux, Didier Lime
Lecture Notes in Computer Science 3099, 2004, pp. 371-390
Transit case study
Eric Verbeek, Robert van der Toorn
Lecture Notes in Computer Science 3099, 2004, pp. 391-410
Eliminating internal behaviour in Petri nets
Harro Wimmel
Lecture Notes in Computer Science 3099, 2004, pp. 411-425
Infinity of intermediate states is decidable for Petri nets
Harro Wimmel
Lecture Notes in Computer Science 3099, 2004, pp. 426-434
Operation Net System: A formal design representation model for high-level synthesis of asynchronous systems based on transformations
Dong-Hoon Yoo, Dong-Ik Lee, Jeong-A Lee
Lecture Notes in Computer Science 3099, 2004, pp. 435-453

Seiten 1 2 >