Petri Net Technology for Communication-Based Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540205388, 9783540400226

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Application Development Assistance with the Petri Net Baukasten

Petri Net Technology for Communication-Based Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-40022-6_2 ◽

2003 ◽

pp. 22-36

Author(s):

Herbert Weber

Keyword(s):

Petri Net ◽

Development Assistance ◽

Application Development

Download Full-text

Petri Net Transformations in the ≫Petri Net Baukasten≪

Petri Net Technology for Communication-Based Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-40022-6_3 ◽

2003 ◽

pp. 37-65 ◽

Cited By ~ 3

Author(s):

B. Braatz ◽

H. Ehrig ◽

M. Urbášek

Keyword(s):

Petri Net

Download Full-text

Generation of Animation Views for Petri Nets in GenGED

Petri Net Technology for Communication-Based Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-40022-6_5 ◽

2003 ◽

pp. 83-108 ◽

Cited By ~ 3

Author(s):

Claudia Ermel ◽

Roswitha Bardohl ◽

Hartmut Ehrig

Keyword(s):

Petri Nets

Download Full-text

Quantitative Engineering of Business Processes with VIPbusiness

Petri Net Technology for Communication-Based Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-40022-6_11 ◽

2003 ◽

pp. 219-242 ◽

Cited By ~ 1

Author(s):

Jörg Desel ◽

Thomas Erwin

Keyword(s):

Business Processes

Download Full-text

Comparing Petri Net and Activity Diagram Variants for Workflow Modelling – A Quest for Reactive Petri Nets

Petri Net Technology for Communication-Based Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-40022-6_16 ◽

2003 ◽

pp. 321-351 ◽

Cited By ~ 37

Author(s):

Rik Eshuis ◽

Roel Wieringa

Keyword(s):

Petri Nets ◽

Petri Net ◽

Activity Diagram

Download Full-text

A Formal Framework for Petri Net Class Transformations

Petri Net Technology for Communication-Based Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-40022-6_20 ◽

2003 ◽

pp. 409-429 ◽

Cited By ~ 3

Author(s):

Francesco Parisi-Presicce

Keyword(s):

Petri Net ◽

Formal Framework

Download Full-text

Rule-Based Refinement of Petri Nets: A Survey

Petri Net Technology for Communication-Based Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-40022-6_9 ◽

2003 ◽

pp. 161-196 ◽

Cited By ~ 10

Author(s):

J. Padberg ◽

M. Urbášek

Keyword(s):

Petri Nets ◽

Rule Based

Download Full-text

The Petri Net Kernel

Petri Net Technology for Communication-Based Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-40022-6_6 ◽

2003 ◽

pp. 109-123 ◽

Cited By ~ 10

Author(s):

Michael Weber ◽

Ekkart Kindler

Keyword(s):

Petri Net

Download Full-text

Case Study Logistics: Flexible Modeling of Business Processes Using Algebraic Higher-Order Nets

Petri Net Technology for Communication-Based Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-40022-6_8 ◽

2003 ◽

pp. 145-160

Author(s):

Kathrin Hoffmann

Keyword(s):

Business Processes ◽

Higher Order ◽

Flexible Modeling

Download Full-text

Inter-organizational Business Process Management with XML Nets

Petri Net Technology for Communication-Based Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-40022-6_12 ◽

2003 ◽

pp. 243-263 ◽

Cited By ~ 22

Author(s):

Kirsten Lenz ◽

Andreas Oberweis

Keyword(s):

Business Process ◽

Business Process Management ◽

Process Management

Download Full-text

Petri Net Technology for Communication-Based Systems - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Application Development Assistance with the Petri Net Baukasten

Petri Net Transformations in the ≫Petri Net Baukasten≪

Generation of Animation Views for Petri Nets in GenGED

Quantitative Engineering of Business Processes with VIPbusiness

Comparing Petri Net and Activity Diagram Variants for Workflow Modelling – A Quest for Reactive Petri Nets

A Formal Framework for Petri Net Class Transformations

Rule-Based Refinement of Petri Nets: A Survey

The Petri Net Kernel

Case Study Logistics: Flexible Modeling of Business Processes Using Algebraic Higher-Order Nets

Inter-organizational Business Process Management with XML Nets

Petri Net Technology for Communication-Based Systems - Lecture Notes in Computer Science
Latest Publications