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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540661320, 9783540487456

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Concurrent Implementation of Asynchronous Transition Systems

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

10.1007/3-540-48745-x_18 ◽

1999 ◽

pp. 284-303 ◽

Cited By ~ 7

Author(s):

Walter Vogler

Keyword(s):

Transition Systems

Download Full-text

SWN Nets as a Framework for the Specification and the Analysis of FT Techniques Adopted in Electric Plant Automation

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

10.1007/3-540-48745-x_11 ◽

1999 ◽

pp. 168-187

Author(s):

Lorenzo Capra ◽

Rossano Gaeta ◽

Oliver Botti

Keyword(s):

Plant Automation ◽

Electric Plant

Download Full-text

Petri Net Based Behavioural Specification of CORBA Systems

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

10.1007/3-540-48745-x_5 ◽

1999 ◽

pp. 66-85 ◽

Cited By ~ 9

Author(s):

Rémi Bastide ◽

Philippe Palanque ◽

Ousmane Sy ◽

Duc-Hoa Le ◽

David Navarre

Keyword(s):

Petri Net

Download Full-text

Trace Channel Nets

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

10.1007/3-540-48745-x_19 ◽

1999 ◽

pp. 304-323 ◽

Cited By ~ 1

Author(s):

Jean Fanchon

Download Full-text

Testing Undecidability of the Reachability in Petri Nets with the Help of 10th Hilbert Problem

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

10.1007/3-540-48745-x_16 ◽

1999 ◽

pp. 268-281

Author(s):

Piotr Chrząstowski-Wachtel

Keyword(s):

Petri Nets ◽

Hilbert Problem

Download Full-text

The Box Algebra —; A Model of Nets and Process Expressions

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

10.1007/3-540-48745-x_21 ◽

1999 ◽

pp. 344-363 ◽

Cited By ~ 5

Author(s):

Eike Best ◽

Raymond Devillers ◽

Maciej Koutny

Download Full-text

Structural Methods to Improve the Symbolic Analysis of Petri Nets

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

10.1007/3-540-48745-x_3 ◽

1999 ◽

pp. 26-45 ◽

Cited By ~ 15

Author(s):

Enric Pastor ◽

Jordi Cortadella ◽

Marco A. Peña

Keyword(s):

Petri Nets ◽

Symbolic Analysis ◽

Structural Methods

Download Full-text

Verifying Intuition — ILF Checks DAWN Proofs

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

10.1007/3-540-48745-x_24 ◽

1999 ◽

pp. 404-423 ◽

Cited By ~ 1

Author(s):

Thomas Baar ◽

Ekkart Kindler ◽

Hagen Völzer

Download Full-text

Reasoning about Algebraic Generalisation of Petri Nets

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

10.1007/3-540-48745-x_20 ◽

1999 ◽

pp. 324-343 ◽

Cited By ~ 8

Author(s):

Gabriel Juhás

Keyword(s):

Petri Nets

Download Full-text

Parallel Approaches to the Numerical Transient Analysis of Stochastic Reward Nets

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

10.1007/3-540-48745-x_10 ◽

1999 ◽

pp. 147-167 ◽

Cited By ~ 1

Author(s):

Susann Allmaier ◽

David Kreische

Keyword(s):

Transient Analysis

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Concurrent Implementation of Asynchronous Transition Systems

SWN Nets as a Framework for the Specification and the Analysis of FT Techniques Adopted in Electric Plant Automation

Petri Net Based Behavioural Specification of CORBA Systems

Trace Channel Nets

Testing Undecidability of the Reachability in Petri Nets with the Help of 10th Hilbert Problem

The Box Algebra —; A Model of Nets and Process Expressions

Structural Methods to Improve the Symbolic Analysis of Petri Nets

Verifying Intuition — ILF Checks DAWN Proofs

Reasoning about Algebraic Generalisation of Petri Nets

Parallel Approaches to the Numerical Transient Analysis of Stochastic Reward Nets

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