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

TOTAL DOCUMENTS

28

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540687450, 9783540687467

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Practical Approach to Verification of Mobile Systems Using Net Unfoldings

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

10.1007/978-3-540-68746-7_22 ◽

2008 ◽

pp. 327-347 ◽

Author(s):

Roland Meyer ◽

Victor Khomenko ◽

Tim Strazny

Keyword(s):

Mobile Systems ◽

Practical Approach

Download Full-text

On the Physical Basics of Information Flow

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

10.1007/978-3-540-68746-7_5 ◽

2008 ◽

pp. 12-12 ◽

Author(s):

Carl Adam Petri

Keyword(s):

Information Flow

Download Full-text

Challenges and Opportunities for Formal Specifications in Service Oriented Architectures

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

10.1007/978-3-540-68746-7_1 ◽

2008 ◽

pp. 1-6

Author(s):

Gustavo Alonso

Keyword(s):

Formal Specifications ◽

Service Oriented Architectures ◽

Challenges And Opportunities ◽

Service Oriented

Download Full-text

Modeling Interactions between Biochemical Reactions

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

10.1007/978-3-540-68746-7_2 ◽

2008 ◽

pp. 7-7

Author(s):

A. Ehrenfeucht ◽

G. Rozenberg

Keyword(s):

Biochemical Reactions ◽

Modeling Interactions

Download Full-text

Labeled Step Sequences in Petri Nets

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

10.1007/978-3-540-68746-7_19 ◽

2008 ◽

pp. 270-287 ◽

Author(s):

Matthias Jantzen ◽

Georg Zetzsche

Keyword(s):

Download Full-text

Formal Specification and Validation of Secure Connection Establishment in a Generic Access Network Scenario

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

10.1007/978-3-540-68746-7_14 ◽

2008 ◽

pp. 171-190

Author(s):

Paul Fleischer ◽

Lars M. Kristensen

Keyword(s):

Formal Specification ◽

Download Full-text

Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks

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

10.1007/978-3-540-68746-7_13 ◽

2008 ◽

pp. 152-170 ◽

Author(s):

Kristian L. Espensen ◽

Mads K. Kjeldsen ◽

Lars M. Kristensen

Keyword(s):

Ad Hoc Networks ◽

Mobile Ad Hoc Networks ◽

Routing Protocol ◽

Ad Hoc ◽

Initial Validation ◽

Mobile Ad Hoc ◽

Download Full-text

Faster Unfolding of General Petri Nets Based on Token Flows

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

10.1007/978-3-540-68746-7_6 ◽

2008 ◽

pp. 13-32 ◽

Author(s):

Robin Bergenthum ◽

Robert Lorenz ◽

Sebastian Mauser

Keyword(s):

Download Full-text

HYPENS: A Matlab Tool for Timed Discrete, Continuous and Hybrid Petri Nets

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

10.1007/978-3-540-68746-7_28 ◽

2008 ◽

pp. 419-428 ◽

Author(s):

Fausto Sessego ◽

Alessandro Giua ◽

Carla Seatzu

Keyword(s):

Hybrid Petri Nets

Download Full-text

Hierarchical Set Decision Diagrams and Automatic Saturation

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

10.1007/978-3-540-68746-7_16 ◽

2008 ◽

pp. 211-230 ◽

Author(s):

Alexandre Hamez ◽

Yann Thierry-Mieg ◽

Fabrice Kordon

Keyword(s):

Decision Diagrams

Download Full-text