Die bibliographische Datenbank LEABib

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

Suche: Series=LNCS AND Volume=1248

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

Model checking LTL using constraint programming
Javier Esparza, Stephan Melzer
Lecture Notes in Computer Science 1248, 1997, pp. 1-20
On the composition of timed systems
Joseph Sifakis
Lecture Notes in Computer Science 1248, 1997, pp. 21-22
Some issues about Petri net application to manufacturing and process supervisory control
Robert Valette
Lecture Notes in Computer Science 1248, 1997, pp. 23-41
On the abstraction of coloured Petri nets
Charles Lakos
Lecture Notes in Computer Science 1248, 1997, pp. 42-61
Life-cycle inheritance: A Petri-net-based approach
W.M.P. van der Aalst, T. Basten
Lecture Notes in Computer Science 1248, 1997, pp. 62-81
Multi-agent-systems based on coloured Petri nets
Daniel Moldt, Frank Wienberg
Lecture Notes in Computer Science 1248, 1997, pp. 82-101
On the complexity of the linear-time \mu-calculus for Petri nets
Peter Habermehl
Lecture Notes in Computer Science 1248, 1997, pp. 102-116
Improved implementations via a new structural equivalence on labelled nets
Wojciech Fra̧czak, Elisabeth Pelz
Lecture Notes in Computer Science 1248, 1997, pp. 117-135
Time processes for time Petri nets
Tuomas Aura, Johan Lilius
Lecture Notes in Computer Science 1248, 1997, pp. 136-155
Timed Petri nets and temporal linear logic
Makoto Tanabe
Lecture Notes in Computer Science 1248, 1997, pp. 156-174
Efficient handling of phase-type distributions in generalized stochastic Petri nets
Serge Haddad, Patrice Moreaux, Giovanni Chiola
Lecture Notes in Computer Science 1248, 1997, pp. 175-194
Petri's axioms of concurrency - A selection of recent results
Olaf Kummer, Mark-Oliver Stehr
Lecture Notes in Computer Science 1248, 1997, pp. 195-214
Analysis of Petri nets with a dynamic priority method
Falko Bause
Lecture Notes in Computer Science 1248, 1997, pp. 215-234
A compositional partial order semantics for Petri net components
Ekkart Kindler
Lecture Notes in Computer Science 1248, 1997, pp. 235-252
Covering step graph preserving failure semantics
François Vernadat, François Michel
Lecture Notes in Computer Science 1248, 1997, pp. 253-270
Siphons, traps and high-level nets with infinite color domains
Karsten Schmidt
Lecture Notes in Computer Science 1248, 1997, pp. 271-289
Teaching coloured Petri nets - A gentle introduction to formal methods in a distributed systems course
Sren Christensen, Kjeld H. Mortensen
Lecture Notes in Computer Science 1248, 1997, pp. 290-309
Transition systems of elementary net systems with inhibitor arcs
Marta Pietkiewicz-Koutny
Lecture Notes in Computer Science 1248, 1997, pp. 310-327
Coupling asynchrony and interrupts: Place chart nets
Michael Kishinevsky, Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Alexander Taubin, Alex Yakovlev
Lecture Notes in Computer Science 1248, 1997, pp. 328-347
Modeling and solving constraint satisfaction problems through Petri nets
Luigi Portinale
Lecture Notes in Computer Science 1248, 1997, pp. 348-366
Fault detection in telecommunication networks based on a Petri net representation of alarm propagation
Renée Boubour, Claude Jard
Lecture Notes in Computer Science 1248, 1997, pp. 367-386
Analysing Bang & Olufsen's BeoLink audio/video system using coloured Petri nets
Sren Christensen, Jens Bæk Jrgensen
Lecture Notes in Computer Science 1248, 1997, pp. 387-406
Verification of workflow nets
W.M.P. van der Aalst
Lecture Notes in Computer Science 1248, 1997, pp. 407-426
Verification of siphons and traps for algebraic Petri nets
Karsten Schmidt
Lecture Notes in Computer Science 1248, 1997, pp. 427-446
Orthogonal transformations for coloured Petri nets
Eike Best, Thomas Thielke
Lecture Notes in Computer Science 1248, 1997, pp. 447-466