Transactions on Petri Nets and Other Models of Concurrency VII - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

10

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642381423, 9783642381430

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Structure Theory of Petri Nets

Transactions on Petri Nets and Other Models of Concurrency VII - Lecture Notes in Computer Science ◽

10.1007/978-3-642-38143-0_5 ◽

2013 ◽

pp. 162-224 ◽

Author(s):

Eike Best ◽

Harro Wimmel

Keyword(s):

Structure Theory

Download Full-text

Models from Scenarios

Transactions on Petri Nets and Other Models of Concurrency VII - Lecture Notes in Computer Science ◽

10.1007/978-3-642-38143-0_9 ◽

2013 ◽

pp. 314-371 ◽

Author(s):

Robert Lorenz ◽

Jörg Desel ◽

Gabriel Juhás

Download Full-text

The Synthesis Problem

Transactions on Petri Nets and Other Models of Concurrency VII - Lecture Notes in Computer Science ◽

10.1007/978-3-642-38143-0_8 ◽

2013 ◽

pp. 300-313 ◽

Author(s):

Wolfgang Reisig

Keyword(s):

Synthesis Problem

Download Full-text

Business Process Modeling Using Petri Nets

Transactions on Petri Nets and Other Models of Concurrency VII - Lecture Notes in Computer Science ◽

10.1007/978-3-642-38143-0_4 ◽

2013 ◽

pp. 116-161 ◽

Author(s):

Kees M. van Hee ◽

Natalia Sidorova ◽

Jan Martijn van der Werf

Keyword(s):

Business Process ◽

Process Modeling ◽

Business Process Modeling

Download Full-text

Causality in Extensions of Petri Nets

Transactions on Petri Nets and Other Models of Concurrency VII - Lecture Notes in Computer Science ◽

10.1007/978-3-642-38143-0_6 ◽

2013 ◽

pp. 225-254

Author(s):

Jetty Kleijn ◽

Maciej Koutny

Keyword(s):

Download Full-text

Discovering Petri Nets from Event Logs

Transactions on Petri Nets and Other Models of Concurrency VII - Lecture Notes in Computer Science ◽

10.1007/978-3-642-38143-0_10 ◽

2013 ◽

pp. 372-422 ◽

Author(s):

Wil M. P. van der Aalst ◽

Boudewijn F. van Dongen

Keyword(s):

Download Full-text

In Memoriam: Carl Adam Petri

Transactions on Petri Nets and Other Models of Concurrency VII - Lecture Notes in Computer Science ◽

10.1007/978-3-642-38143-0_1 ◽

2013 ◽

pp. 1-5 ◽

Author(s):

Wolfgang Reisig ◽

Grzegorz Rozenberg ◽

P. S. Thiagarajan

Keyword(s):

Download Full-text

Applications of Coloured Petri Nets for Functional Validation of Protocol Designs

Transactions on Petri Nets and Other Models of Concurrency VII - Lecture Notes in Computer Science ◽

10.1007/978-3-642-38143-0_3 ◽

2013 ◽

pp. 56-115 ◽

Author(s):

Lars M. Kristensen ◽

Kent Inge Fagerland Simonsen

Keyword(s):

Coloured Petri Nets ◽

Functional Validation

Download Full-text

External Behaviour of Systems of State Machines with Variables

Transactions on Petri Nets and Other Models of Concurrency VII - Lecture Notes in Computer Science ◽

10.1007/978-3-642-38143-0_7 ◽

2013 ◽

pp. 255-299

Author(s):

Antti Valmari

Keyword(s):

Download Full-text

Strategies for Modeling Complex Processes Using Colored Petri Nets

Transactions on Petri Nets and Other Models of Concurrency VII - Lecture Notes in Computer Science ◽

10.1007/978-3-642-38143-0_2 ◽

2013 ◽

pp. 6-55 ◽

Author(s):

Wil M. P. van der Aalst ◽

Christian Stahl ◽

Michael Westergaard

Keyword(s):

Colored Petri Nets ◽

Complex Processes

Download Full-text