Application and Theory of Petri Nets 1998 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

20

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540646778, 9783540691082

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On Stubborn Sets in the Verification of Linear Time Temporal Properties

Application and Theory of Petri Nets 1998 - Lecture Notes in Computer Science ◽

10.1007/3-540-69108-1_8 ◽

1998 ◽

pp. 124-143 ◽

Author(s):

Kimmo Varpaaniemi

Keyword(s):

Linear Time ◽

Temporal Properties

Download Full-text

Deadlock Detection in the Face of Transaction and Data Dependencies

Application and Theory of Petri Nets 1998 - Lecture Notes in Computer Science ◽

10.1007/3-540-69108-1_15 ◽

1998 ◽

pp. 266-285 ◽

Author(s):

E. Bertino ◽

G. Chiola ◽

L. V. Mancini

Keyword(s):

Deadlock Detection ◽

Data Dependencies ◽

Download Full-text

Flexibility in Algebraic Nets

Application and Theory of Petri Nets 1998 - Lecture Notes in Computer Science ◽

10.1007/3-540-69108-1_19 ◽

1998 ◽

pp. 345-364 ◽

Author(s):

Ekkart Kindler ◽

Hagen Völzer

Download Full-text

Synchronized Products of Transition Systems and Their Analysis

Application and Theory of Petri Nets 1998 - Lecture Notes in Computer Science ◽

10.1007/3-540-69108-1_2 ◽

1998 ◽

pp. 26-27 ◽

Author(s):

Andr` Arnold

Keyword(s):

Transition Systems

Download Full-text

A Class of Well Structured Petri Nets for Flexible Manufacturing Systems

Application and Theory of Petri Nets 1998 - Lecture Notes in Computer Science ◽

10.1007/3-540-69108-1_5 ◽

1998 ◽

pp. 64-83 ◽

Author(s):

J. Ezpeleta ◽

F. García-Vallés ◽

J. M. Colom

Keyword(s):

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems

Download Full-text

Finding Stubborn Sets of Coloured Petri Nets without Unfolding

Application and Theory of Petri Nets 1998 - Lecture Notes in Computer Science ◽

10.1007/3-540-69108-1_7 ◽

1998 ◽

pp. 104-123 ◽

Author(s):

Lars Michael Kristensen ◽

Antti Valmari

Keyword(s):

Coloured Petri Nets

Download Full-text

Thinking in Cycles

Application and Theory of Petri Nets 1998 - Lecture Notes in Computer Science ◽

10.1007/3-540-69108-1_12 ◽

1998 ◽

pp. 205-225 ◽

Author(s):

Mark-Oliver Stehr

Download Full-text

Efficiency of Token-Passing MUTEX-Solutions — Some Experiments

Application and Theory of Petri Nets 1998 - Lecture Notes in Computer Science ◽

10.1007/3-540-69108-1_11 ◽

1998 ◽

pp. 185-204 ◽

Author(s):

Elmar Bihler ◽

Walter Vogler

Keyword(s):

Download Full-text

An Axiomatisation of Duplication Equivalence in the Petri Box Calculus

Application and Theory of Petri Nets 1998 - Lecture Notes in Computer Science ◽

10.1007/3-540-69108-1_10 ◽

1998 ◽

pp. 165-184 ◽

Author(s):

Martin Hesketh ◽

Maciej Koutny

Download Full-text

Petri Net Based Certification of Event-Driven Process Chains

Application and Theory of Petri Nets 1998 - Lecture Notes in Computer Science ◽

10.1007/3-540-69108-1_16 ◽

1998 ◽

pp. 286-305 ◽

Author(s):

Peter Langner ◽

Christoph Schneider ◽

Joachim Wehler

Keyword(s):

Petri Net ◽

Process Chains ◽

Download Full-text