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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540222361, 9783540277934

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Web Supported Enactment of Petri-Net Based Workflows with XRL/Flower

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

10.1007/978-3-540-27793-4_30 ◽

2004 ◽

pp. 494-503 ◽

Cited By ~ 3

Author(s):

Alexander Norta

Keyword(s):

Petri Net

Download Full-text

Operation Net System: A Formal Design Representation Model for High-Level Synthesis of Asynchronous Systems Based on Transformations

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

10.1007/978-3-540-27793-4_25 ◽

2004 ◽

pp. 435-453 ◽

Cited By ~ 2

Author(s):

Dong-Hoon Yoo ◽

Dong-Ik Lee ◽

Jeong-A Lee

Keyword(s):

High Level Synthesis ◽

Asynchronous Systems ◽

Design Representation ◽

System A ◽

Representation Model ◽

High Level ◽

Formal Design

Download Full-text

Reachability Set Generation for Petri Nets: Can Brute Force Be Smart?

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

10.1007/978-3-540-27793-4_2 ◽

2004 ◽

pp. 17-34 ◽

Cited By ~ 14

Author(s):

Gianfranco Ciardo

Keyword(s):

Petri Nets ◽

Brute Force ◽

Reachability Set

Download Full-text

Specification and Model Checking of Temporal Properties in Time Petri Nets and Timed Automata

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

10.1007/978-3-540-27793-4_4 ◽

2004 ◽

pp. 37-76 ◽

Cited By ~ 20

Author(s):

Wojciech Penczek ◽

Agata Półrola

Keyword(s):

Model Checking ◽

Petri Nets ◽

Timed Automata ◽

Time Petri Nets ◽

Temporal Properties

Download Full-text

Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation

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

10.1007/978-3-540-27793-4_21 ◽

2004 ◽

pp. 371-390 ◽

Cited By ~ 18

Author(s):

Olivier H. Roux ◽

Didier Lime

Keyword(s):

Petri Nets ◽

State Space ◽

Formal Semantics ◽

Time Petri Nets

Download Full-text

An Extensible Editor and Simulation Engine for Petri Nets: Renew

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

10.1007/978-3-540-27793-4_29 ◽

2004 ◽

pp. 484-493 ◽

Cited By ~ 58

Author(s):

Olaf Kummer ◽

Frank Wienberg ◽

Michael Duvigneau ◽

Jörn Schumacher ◽

Michael Köhler ◽

...

Keyword(s):

Petri Nets ◽

Simulation Engine

Download Full-text

Composition of Temporal Logic Specifications

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

10.1007/978-3-540-27793-4_7 ◽

2004 ◽

pp. 98-116

Author(s):

Adrianna Alexander

Keyword(s):

Temporal Logic

Download Full-text

Infinity of Intermediate States Is Decidable for Petri Nets

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

10.1007/978-3-540-27793-4_24 ◽

2004 ◽

pp. 426-434 ◽

Cited By ~ 4

Author(s):

Harro Wimmel

Keyword(s):

Petri Nets ◽

Intermediate States

Download Full-text

Transit Case Study

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

10.1007/978-3-540-27793-4_22 ◽

2004 ◽

pp. 391-410 ◽

Cited By ~ 1

Author(s):

Eric Verbeek ◽

Robert van der Toorn

Download Full-text

A Framework for the Modelling and Simulation of Distributed Transaction Processing Systems Using Coloured Petri Nets

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

10.1007/978-3-540-27793-4_20 ◽

2004 ◽

pp. 351-370 ◽

Cited By ~ 1

Author(s):

M. José Polo Martín ◽

Luis A. Miguel Quintales ◽

María N. Moreno García

Keyword(s):

Petri Nets ◽

Transaction Processing ◽

Modelling And Simulation ◽

Coloured Petri Nets ◽

Distributed Transaction Processing ◽

Distributed Transaction ◽

Transaction Processing Systems

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Web Supported Enactment of Petri-Net Based Workflows with XRL/Flower

Operation Net System: A Formal Design Representation Model for High-Level Synthesis of Asynchronous Systems Based on Transformations

Reachability Set Generation for Petri Nets: Can Brute Force Be Smart?

Specification and Model Checking of Temporal Properties in Time Petri Nets and Timed Automata

Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation

An Extensible Editor and Simulation Engine for Petri Nets: Renew

Composition of Temporal Logic Specifications

Infinity of Intermediate States Is Decidable for Petri Nets

Transit Case Study

A Framework for the Modelling and Simulation of Distributed Transaction Processing Systems Using Coloured Petri Nets

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