Die bibliographische Datenbank LEABib

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

Suche: Series=LNCS AND Volume=4024

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

Invariant based programming
Ralph-Johan Back
Lecture Notes in Computer Science 4024, 2006, pp. 1-18
On the integration of UML and Petri nets in software development
Javier Campos, José Merseguer
Lecture Notes in Computer Science 4024, 2006, pp. 19-36
Component tools: Integrating Petri nets with other formal methods
Ekkart Kindler, Vladimir Rubin, Robert Wagner
Lecture Notes in Computer Science 4024, 2006, pp. 37-56
Using Colored Petri Nets and tools to support mobile terminal and network software development
Jianli Xu
Lecture Notes in Computer Science 4024, 2006, pp. 57-64
Compensation in workflow nets
Baver Acu, Wolfgang Reisig
Lecture Notes in Computer Science 4024, 2006, pp. 65-83
The synthesis problem of netcharts
Nicolas Baudru, Rémi Morin
Lecture Notes in Computer Science 4024, 2006, pp. 84-104
Non-sequential behaviour of dynamic nets
Roberto Bruni, Hernán Melgratti
Lecture Notes in Computer Science 4024, 2006, pp. 105-124
Complete finite prefixes of symbolic unfoldings of safe time Petri nets
Thomas Chatain, Claude Jard
Lecture Notes in Computer Science 4024, 2006, pp. 125-145
On the computation of stubborn sets of Colored Petri Nets
Sami Evangelista, Jean-François Pradat-Peyre
Lecture Notes in Computer Science 4024, 2006, pp. 146-165
On the construction of pullbacks for safe Petri nets
Eric Fabre
Lecture Notes in Computer Science 4024, 2006, pp. 166-180
From Petri nets to differential equations - An integrative approach for biochemical network analysis
David Gilbert, Monika Heiner
Lecture Notes in Computer Science 4024, 2006, pp. 181-200
How expressive are Petri net schemata?
Andreas Glausch, Wolfgang Reisig
Lecture Notes in Computer Science 4024, 2006, pp. 201-220
A new approach to the evaluation of non Markovian stochastic Petri nets
Serge Haddad, Lynda Mokdad, Patrice Moreaux
Lecture Notes in Computer Science 4024, 2006, pp. 221-240
Nested nets for adaptive systems
Kees M. van Hee, Irina A. Lomazova, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve
Lecture Notes in Computer Science 4024, 2006, pp. 241-260
Analyzing software performance and energy consumption of embedded systems by probabilistic modeling: An approach based on Coloured Petri Nets
Meuse N.O. Junior, Silvino Neto, Paulo Maciel, Ricardo Lima, Angelo Ribeiro, Raimundo Barreto, Eduardo Tavares, Frederico Braga
Lecture Notes in Computer Science 4024, 2006, pp. 261-281
Infinite process semantics of inhibitor nets
H.C.M. Kleijn, M. Koutny
Lecture Notes in Computer Science 4024, 2006, pp. 282-301
Towards synthesis of Petri nets from scenarios
Robert Lorenz, Gabriel Juhás
Lecture Notes in Computer Science 4024, 2006, pp. 302-321
Designing reversibility-enforcing supervisors of polynomial complexity for bounded Petri nets through the theory of regions
Spyros A. Reveliotis, Jin Young Choi
Lecture Notes in Computer Science 4024, 2006, pp. 322-341
On the step explosion problem
Stephan Roch, Karsten Schmidt
Lecture Notes in Computer Science 4024, 2006, pp. 342-361
Prospective analysis of cooperative provision of industrial services using Coloured Petri Nets
Katrin Winkelmann, Holger Luczak
Lecture Notes in Computer Science 4024, 2006, pp. 362-380
Can I execute my scenario in your net? VipTool tells you!
Robin Bergenthum, Jörg Desel, Gabriel Juhás, Robert Lorenz
Lecture Notes in Computer Science 4024, 2006, pp. 381-390
EXHOST-PIPE: PIPE extended for two classes of monitoring Petri nets
Olivier Bonnet-Torrés, Patrice Domenech, Charles Lesire, Catherine Tessier
Lecture Notes in Computer Science 4024, 2006, pp. 391-400
ArgoSPE: Model-based software performance engineering
Elena Gómez-Martínez, José Merseguer
Lecture Notes in Computer Science 4024, 2006, pp. 401-410
Petriweb: A repository for Petri nets
R. Goud, Kees M. van Hee, R.D.J. Post, J.M.E.M. van der Werf
Lecture Notes in Computer Science 4024, 2006, pp. 411-420
Geist3D, a simulation tool for geometry-driven Petri nets
Jochen Stier, Jens Jahnke, Hausi Müller
Lecture Notes in Computer Science 4024, 2006, pp. 421-430

Seiten 1 2 >