Applications and Theory of Petri Nets 2003 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540403340, 9783540449195

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Logical Reasoning and Petri Nets

Applications and Theory of Petri Nets 2003 - Lecture Notes in Computer Science ◽

10.1007/3-540-44919-1_19 ◽

2003 ◽

pp. 276-295 ◽

Cited By ~ 5

Author(s):

Kurt Lautenbach

Keyword(s):

Petri Nets ◽

Logical Reasoning

Download Full-text

Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach

Applications and Theory of Petri Nets 2003 - Lecture Notes in Computer Science ◽

10.1007/3-540-44919-1_22 ◽

2003 ◽

pp. 337-356 ◽

Cited By ~ 46

Author(s):

Kees van Hee ◽

Natalia Sidorova ◽

Marc Voorhoeve

Keyword(s):

Stepwise Refinement ◽

Workflow Nets

Download Full-text

PLC Programming with Signal Interpreted Petri Nets

Applications and Theory of Petri Nets 2003 - Lecture Notes in Computer Science ◽

10.1007/3-540-44919-1_27 ◽

2003 ◽

pp. 440-449 ◽

Cited By ~ 13

Author(s):

Stéphane Klein ◽

Georg Frey ◽

Mark Minas

Keyword(s):

Petri Nets ◽

Plc Programming

Download Full-text

The Resource Allocation Problem in Flexible Manufacturing Systems

Applications and Theory of Petri Nets 2003 - Lecture Notes in Computer Science ◽

10.1007/3-540-44919-1_3 ◽

2003 ◽

pp. 23-35 ◽

Cited By ~ 24

Author(s):

J. M. Colom

Keyword(s):

Resource Allocation ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Allocation Problem ◽

Resource Allocation Problem

Download Full-text

On Reachability in Autonomous Continuous Petri Net Systems

Applications and Theory of Petri Nets 2003 - Lecture Notes in Computer Science ◽

10.1007/3-540-44919-1_16 ◽

2003 ◽

pp. 221-240 ◽

Cited By ~ 14

Author(s):

Jorge Júlvez ◽

Laura Recalde ◽

Manuel Silva

Keyword(s):

Petri Net

Download Full-text

Specification and Validation of the SACI-1 On-Board Computer Using Timed-CSP-Z and Petri Nets

Applications and Theory of Petri Nets 2003 - Lecture Notes in Computer Science ◽

10.1007/3-540-44919-1_13 ◽

2003 ◽

pp. 161-180 ◽

Cited By ~ 3

Author(s):

Adnan Sherif ◽

Augusto Sampaio ◽

Sérgio Cavalcante

Keyword(s):

Petri Nets ◽

Timed Csp

Download Full-text

The Model-Checking Kit

Applications and Theory of Petri Nets 2003 - Lecture Notes in Computer Science ◽

10.1007/3-540-44919-1_29 ◽

2003 ◽

pp. 463-472 ◽

Cited By ~ 16

Author(s):

Claus Schröter ◽

Stefan Schwoon ◽

Javier Esparza

Keyword(s):

Model Checking

Download Full-text

Hierarchical Timed High Level Nets and Their Branching Processes

Applications and Theory of Petri Nets 2003 - Lecture Notes in Computer Science ◽

10.1007/3-540-44919-1_25 ◽

2003 ◽

pp. 397-416 ◽

Cited By ~ 2

Author(s):

Hans Fleischhack ◽

Elisabeth Pelz

Keyword(s):

Branching Processes ◽

High Level

Download Full-text

Model Checking Safety Properties in Modular High-Level Nets

Applications and Theory of Petri Nets 2003 - Lecture Notes in Computer Science ◽

10.1007/3-540-44919-1_15 ◽

2003 ◽

pp. 201-220 ◽

Cited By ~ 7

Author(s):

Marko Mäkelä

Keyword(s):

Model Checking ◽

Safety Properties ◽

High Level

Download Full-text

On Synchronicity and Concurrency in Petri Nets

Applications and Theory of Petri Nets 2003 - Lecture Notes in Computer Science ◽

10.1007/3-540-44919-1_23 ◽

2003 ◽

pp. 357-376 ◽

Cited By ~ 2

Author(s):

Gabriel Juhás ◽

Robert Lorenz ◽

Tomáš Šingliar

Keyword(s):

Petri Nets

Download Full-text

Applications and Theory of Petri Nets 2003 - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Logical Reasoning and Petri Nets

Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach

PLC Programming with Signal Interpreted Petri Nets

The Resource Allocation Problem in Flexible Manufacturing Systems

On Reachability in Autonomous Continuous Petri Net Systems

Specification and Validation of the SACI-1 On-Board Computer Using Timed-CSP-Z and Petri Nets

The Model-Checking Kit

Hierarchical Timed High Level Nets and Their Branching Processes

Model Checking Safety Properties in Modular High-Level Nets

On Synchronicity and Concurrency in Petri Nets

Applications and Theory of Petri Nets 2003 - Lecture Notes in Computer Science
Latest Publications