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

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

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

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

Modeling and Analysis of Margolus Quantum Cellular Automata Using Net-Theoretical Methods

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

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

2004 ◽

pp. 331-350

Author(s):

Leo Ojala ◽

Olli-Matti Penttinen ◽

Elina Parviainen

Keyword(s):

Cellular Automata ◽

Quantum Cellular Automata ◽

Modeling And Analysis ◽

Theoretical Methods

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

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

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

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

Modeling and Analysis of Margolus Quantum Cellular Automata Using Net-Theoretical Methods

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