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

TOTAL DOCUMENTS

8

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662457290, 9783662457306

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Tissue Systems and Petri Net Synthesis

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

10.1007/978-3-662-45730-6_7 ◽

2014 ◽

pp. 124-146

Author(s):

Jetty Kleijn ◽

Maciej Koutny ◽

Marta Pietkiewicz-Koutny

Keyword(s):

Petri Net ◽

Tissue Systems ◽

Petri Net Synthesis

Download Full-text

Modeling Organizational Structures and Agent Knowledge for Mulan Applications

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

10.1007/978-3-662-45730-6_4 ◽

2014 ◽

pp. 62-82 ◽

Author(s):

Lawrence Cabac ◽

David Mosteller ◽

Matthias Wester-Ebbinghaus

Keyword(s):

Organizational Structures ◽

Agent Knowledge

Download Full-text

A Canonical Contraction for Safe Petri Nets

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

10.1007/978-3-662-45730-6_5 ◽

2014 ◽

pp. 83-98 ◽

Author(s):

Thomas Chatain ◽

Stefan Haar

Keyword(s):

Download Full-text

Modeling Distributed Private Key Generation by Composing Petri Nets

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

10.1007/978-3-662-45730-6_2 ◽

2014 ◽

pp. 19-40

Author(s):

Luca Bernardinello ◽

Görkem Kılınç ◽

Elisabetta Mangioni ◽

Lucia Pomello

Keyword(s):

Key Generation ◽

Download Full-text

A Coloured Petri Net Approach to the Functional and Performance Analysis of SIP Non-INVITE Transaction

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

10.1007/978-3-662-45730-6_8 ◽

2014 ◽

pp. 147-177 ◽

Author(s):

Junxian Liu ◽

Lin Liu

Keyword(s):

Performance Analysis ◽

Petri Net ◽

Coloured Petri Net ◽

And Performance

Download Full-text

Symbolic Termination and Confluence Checking for ECA Rules

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

10.1007/978-3-662-45730-6_6 ◽

2014 ◽

pp. 99-123 ◽

Author(s):

Xiaoqing Jin ◽

Yousra Lembachar ◽

Gianfranco Ciardo

Keyword(s):

Download Full-text

Decidability of $$k$$ -Soundness for Workflow Nets with an Unbounded Resource

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

10.1007/978-3-662-45730-6_1 ◽

2014 ◽

pp. 1-18 ◽

Author(s):

Vladimir A. Bashkin ◽

Irina A. Lomazova

Keyword(s):

Download Full-text

Software Engineering with Petri Nets: A Web Service and Agent Perspective

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

10.1007/978-3-662-45730-6_3 ◽

2014 ◽

pp. 41-61 ◽

Author(s):

Tobias Betz ◽

Lawrence Cabac ◽

Michael Duvigneau ◽

Thomas Wagner ◽

Matthias Wester-Ebbinghaus

Keyword(s):

Software Engineering ◽

Download Full-text