Die bibliographische Datenbank LEABib

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

Suche: Series=LNCS AND Volume=935

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

A refined view of the box algebra
Eike Best, Maciej Koutny
Lecture Notes in Computer Science 935, 1995, pp. 1-20
Distributed algorithms and causally consistent observations
Friedemann Mattern
Lecture Notes in Computer Science 935, 1995, pp. 21-22
Petri nets for information systems modelling
Klaus Voss
Lecture Notes in Computer Science 935, 1995, pp. 23-24
On liveness in extended non self-controlling nets
K. Barkaoui, J.M. Couvreur, C. Dutheillet
Lecture Notes in Computer Science 935, 1995, pp. 25-44
An algebraic semantics for hierarchical P/T nets
Twan Basten, Marc Voorhoeve
Lecture Notes in Computer Science 935, 1995, pp. 45-65
A Petri net based environment for the design of event-driven interfaces
Rémi Bastide, Philippe Palanque
Lecture Notes in Computer Science 935, 1995, pp. 66-83
An incremental specification of a hydroelectric power plant control systems using a class of modular algebraic nets
E. Battiston, O. Botti, E. Crivelli, F. De Cindio
Lecture Notes in Computer Science 935, 1995, pp. 84-102
A class of composable high level Petri nets
Eike Best, Hans Fleischack, Wojciech Fraçzak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz
Lecture Notes in Computer Science 935, 1995, pp. 103-120
An efficient algorithm for the computation of stubborn sets of well formed Petri nets
Robert Brgan, Denis Poitrenaud
Lecture Notes in Computer Science 935, 1995, pp. 121-140
CAB: An environment for developing concurrent application
G. Bruno, R. Agarwal, A. Castella, M.P. Pescarmona
Lecture Notes in Computer Science 935, 1995, pp. 141-160
A notion of equivalence for stochastic Petri nets
Peter Bucholz
Lecture Notes in Computer Science 935, 1995, pp. 161-180
Parallel state space exploration for GSPN models
S. Caselli, G. Conte, P. Marenzoni
Lecture Notes in Computer Science 935, 1995, pp. 181-200
Modular state space analysis of coloured Petri nets
Sren Christensen, Laure Petrucci
Lecture Notes in Computer Science 935, 1995, pp. 201-217
Programmable controller design based on a synchronized colored Petri net model and integrating fuzzy reasoning
Luis Gomes, A. Steiger-Garção
Lecture Notes in Computer Science 935, 1995, pp. 218-237
Symbolic reachability graph and partial symmetries
S. Haddad, J.M. Ilié, M. Taghelit, B. Zouari
Lecture Notes in Computer Science 935, 1995, pp. 238-257
Kausal behaviours and nets
Joost-Peter Katoen
Lecture Notes in Computer Science 935, 1995, pp. 258-277
From coloured Petri nets to object Petri nets
Charles Lakos
Lecture Notes in Computer Science 935, 1995, pp. 278-297
Handles and reachability analysis of free choice nets
Dong-Ik Lee, Sadatoshi Kumagai, Shinzo Kodama
Lecture Notes in Computer Science 935, 1995, pp. 298-315
Performance bounds for stochastic timed Petri nets
Zhen Liu
Lecture Notes in Computer Science 935, 1995, pp. 316-334
An inspection model with minimal and major maintenance for a flexible manufacturing cell using generalized stochastic petri nets
M. Molla-Hosseini, R.M. Kerr, R.B. Randall, R.B. Platfoot
Lecture Notes in Computer Science 935, 1995, pp. 335-356
Subclasses of recognizable trace languages
Henning Reineke
Lecture Notes in Computer Science 935, 1995, pp. 357-373
Verification of asynchronous circuits by BDD-based model checking of Petri nets
Oriol Roig, Jordi Cortadella, Enric Pastor
Lecture Notes in Computer Science 935, 1995, pp. 374-391
Parameterized reachability trees for algebraic Petri nets
Karsten Schmidt
Lecture Notes in Computer Science 935, 1995, pp. 392-411
Efficient simulation of THOR nets
Stefan Schöf, Michael Sonnenschein, Ralf Wieting
Lecture Notes in Computer Science 935, 1995, pp. 412-431
Functional equivalences of Petri nets
Gerlinde Schreiber
Lecture Notes in Computer Science 935, 1995, pp. 432-450

Seiten 1 2 >