Lecture Notes in Computer Science - Lectures on Petri Nets II: Applications
Latest Publications

TOTAL DOCUMENTS

9

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540653073, 9783540494416

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Protocol specification using P-graphs, a technique based on coloured Petri Nets

Lecture Notes in Computer Science - Lectures on Petri Nets II: Applications ◽

10.1007/3-540-65307-4_51 ◽

1998 ◽

pp. 293-330 ◽

Author(s):

Jonathan Billington

Keyword(s):

Coloured Petri Nets ◽

Protocol Specification

Download Full-text

Petri nets and production systems

Lecture Notes in Computer Science - Lectures on Petri Nets II: Applications ◽

10.1007/3-540-65307-4_47 ◽

1998 ◽

pp. 85-124 ◽

Author(s):

Manuel Silva ◽

Enrique Teruel ◽

Robert Valette ◽

Hervé Pingaud

Keyword(s):

Production Systems

Download Full-text

Modelling and analysis of distributed software using GSPNs

Lecture Notes in Computer Science - Lectures on Petri Nets II: Applications ◽

10.1007/3-540-65307-4_54 ◽

1998 ◽

pp. 438-477 ◽

Author(s):

Susanna Donatelli ◽

Giuliana Franceschinis

Keyword(s):

Distributed Software

Download Full-text

An introduction to the practical use of coloured Petri Nets

Lecture Notes in Computer Science - Lectures on Petri Nets II: Applications ◽

10.1007/3-540-65307-4_50 ◽

1998 ◽

pp. 237-292 ◽

Author(s):

Kurt Jensen

Keyword(s):

Coloured Petri Nets

Download Full-text

Distributed algorithms for networks of agents

Lecture Notes in Computer Science - Lectures on Petri Nets II: Applications ◽

10.1007/3-540-65307-4_52 ◽

1998 ◽

pp. 331-385 ◽

Author(s):

W. Reisig ◽

E. Kindler ◽

T. Vesper ◽

H. Völzer ◽

R. Walter

Keyword(s):

Distributed Algorithms

Download Full-text

Petri nets, process algebras and concurrent programming languages

Lecture Notes in Computer Science - Lectures on Petri Nets II: Applications ◽

10.1007/3-540-65307-4_46 ◽

1998 ◽

pp. 1-84 ◽

Author(s):

Eike Best ◽

Raymond Devillers ◽

Maciej Koutny

Keyword(s):

Programming Languages ◽

Concurrent Programming ◽

Process Algebras ◽

Concurrent Programming Languages

Download Full-text

Petri nets and digital hardware design

Lecture Notes in Computer Science - Lectures on Petri Nets II: Applications ◽

10.1007/3-540-65307-4_49 ◽

1998 ◽

pp. 154-236 ◽

Author(s):

Alexandre V. Yakovlev ◽

Albert M. Koelmans

Keyword(s):

Hardware Design ◽

Digital Hardware

Download Full-text

Efficient performance analysis techniques for stochastic well-formed nets and stochastic process algebras

Lecture Notes in Computer Science - Lectures on Petri Nets II: Applications ◽

10.1007/3-540-65307-4_53 ◽

1998 ◽

pp. 386-437 ◽

Author(s):

G. Franceschinis ◽

M. Ribaudo

Keyword(s):

Stochastic Process ◽

Performance Analysis ◽

Process Algebras ◽

Analysis Techniques ◽

Efficient Performance ◽

Stochastic Process Algebras

Download Full-text

Computer Supported Cooperative Work and Petri Nets

Lecture Notes in Computer Science - Lectures on Petri Nets II: Applications ◽

10.1007/3-540-65307-4_48 ◽

1998 ◽

pp. 125-153 ◽

Author(s):

Giorgio De Michelis ◽

Clarence A. Ellis

Keyword(s):

Cooperative Work ◽

Computer Supported Cooperative Work

Download Full-text