Die bibliographische Datenbank LEABib

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

Suche: Series=LNCS AND Volume=2679

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

Coloured Petri Nets: Status and outlook
Kurt Jensen
Lecture Notes in Computer Science 2679, 2003, pp. 1-2
Towards biopathway modeling and simulation
Hiroshi Matsuno, Sachie Fujita, Atsushi Doi, Masao Nagasaki, Satoru Miyano
Lecture Notes in Computer Science 2679, 2003, pp. 3-22
The resource allocation problem in flexible manufacturing systems
J.M. Colom
Lecture Notes in Computer Science 2679, 2003, pp. 23-35
Colored GSPN models for the QoS design of Internet subnets
M. Ajmone Marsan, M. Garetto, R. Lo Cigno, M. Meo
Lecture Notes in Computer Science 2679, 2003, pp. 36-36
Compositional theories of qualitative and quantitative behaviour
Ed Brinksma
Lecture Notes in Computer Science 2679, 2003, pp. 37-42
Net models supporting human and humane behaviors
C.A. Ellis
Lecture Notes in Computer Science 2679, 2003, pp. 43-43
Deciding life-cycle inheritance on Petri nets
H.M.W. Verbeek, T. Basten
Lecture Notes in Computer Science 2679, 2003, pp. 44-63
Nets enriched over closed monoidal structures
Eric Badouel, Jules Chenou
Lecture Notes in Computer Science 2679, 2003, pp. 64-81
Automatic symmetry detection in well-formed nets
Yann Thierry-Mieg, Claude Dutheillet, Isabelle Mounier
Lecture Notes in Computer Science 2679, 2003, pp. 82-101
A proposal for structuring Petri net-based agent interaction protocols
Lawrence Cabac, Daniel Moldt, Heiko Rölke
Lecture Notes in Computer Science 2679, 2003, pp. 102-120
Modelling mobility and mobile agents using nets within nets
Michael Köhler, Daniel Moldt, Heiko Rölke
Lecture Notes in Computer Science 2679, 2003, pp. 121-139
Modular system development with pullbacks
Marek Bednarczyk, Luca Bernardinello, Benoît Caillaud, Wiesƚaw Pawƚowski, Lucia Pomello
Lecture Notes in Computer Science 2679, 2003, pp. 140-160
Specification and validation of the SACI-1 on-board computer using Timed-CSP-Z and Petri nets
Adnan Sherif, Augusto Sampaio, Sérgio Cavalcante
Lecture Notes in Computer Science 2679, 2003, pp. 161-180
On the use of Petri nets for the computation of completion time distribution for short TCP transfers
R. Gaeta, M. Gribaudo, D. Manini, M. Sereno
Lecture Notes in Computer Science 2679, 2003, pp. 181-200
Model checking safety properties in modular high-level nets
Marko Mäkelä
Lecture Notes in Computer Science 2679, 2003, pp. 201-220
On reachability in autonomous continuous Petri net systems
Jorge Júlvez, Laura Recalde, Manuel Silva
Lecture Notes in Computer Science 2679, 2003, pp. 221-240
On the siphon-based characterization of liveness in sequential resource allocation systems
Spyros A. Reveliotis
Lecture Notes in Computer Science 2679, 2003, pp. 241-255
Coloured Petri Nets in development of a pervasive health care system
Jens Bæk Jrgensen
Lecture Notes in Computer Science 2679, 2003, pp. 256-275
Logical reasoning and Petri nets
Kurt Lautenbach
Lecture Notes in Computer Science 2679, 2003, pp. 276-295
Reactive Petri nets for workflow modeling
Rik Eshuis, Juliane Dehnert
Lecture Notes in Computer Science 2679, 2003, pp. 296-315
Distributed diagnosis of discrete-event systems using Petri nets
Sahika Genc, Stéphane Lafortune
Lecture Notes in Computer Science 2679, 2003, pp. 316-336
Soundness and separability of workflow nets in the stepwise refinement approach
Kees van Hee, Natalia Sidorova, Marc Voorhoeve
Lecture Notes in Computer Science 2679, 2003, pp. 337-356
On synchronicity and concurrency in Petri nets
Gabriel Juhás, Robert Lorenz, Tomás̑ S̑ingliar
Lecture Notes in Computer Science 2679, 2003, pp. 357-376
Analysing properties of the resource reservation protocol
María E. Villapol, Jonathan Billington
Lecture Notes in Computer Science 2679, 2003, pp. 377-396
Hierarchical timed high level nets and their branching processes
Hans Fleischhack, Elisabeth Pelz
Lecture Notes in Computer Science 2679, 2003, pp. 397-416

Seiten 1 2 >