Unifying Petri Nets - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540430674, 9783540455417

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Implementation of Parameterized Net Classes with the Petri Net Kernel of the ≫Petrinetz-Baukasten≪

Unifying Petri Nets - Lecture Notes in Computer Science ◽

10.1007/3-540-45541-8_4 ◽

2001 ◽

pp. 79-102 ◽

Cited By ~ 5

Author(s):

Claudia Ermel ◽

Michael Weber

Keyword(s):

Petri Net

Download Full-text

Transactions and Zero-Safe Nets

Unifying Petri Nets - Lecture Notes in Computer Science ◽

10.1007/3-540-45541-8_12 ◽

2001 ◽

pp. 380-426 ◽

Cited By ~ 14

Author(s):

Roberto Bruni ◽

Ugo Montanari

Download Full-text

Process Landscaping: Modelling Distributed Processes and Proving Properties of Distributed Process Models

Unifying Petri Nets - Lecture Notes in Computer Science ◽

10.1007/3-540-45541-8_5 ◽

2001 ◽

pp. 103-125 ◽

Cited By ~ 3

Author(s):

Volker Gruhn ◽

Ursula Wellen

Keyword(s):

Process Models ◽

Distributed Processes ◽

Distributed Process

Download Full-text

Two Algebraic Process Semantics for Contextual Nets

Unifying Petri Nets - Lecture Notes in Computer Science ◽

10.1007/3-540-45541-8_13 ◽

2001 ◽

pp. 427-456 ◽

Cited By ~ 2

Author(s):

Roberto Bruni ◽

Vladimiro Sassone

Download Full-text

Generalized Automata and Their Net Representations

Unifying Petri Nets - Lecture Notes in Computer Science ◽

10.1007/3-540-45541-8_10 ◽

2001 ◽

pp. 304-345 ◽

Cited By ~ 4

Author(s):

Eric Badouel ◽

Marek A. Bednarczyk ◽

Philippe Darondeau

Download Full-text

Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs

Unifying Petri Nets - Lecture Notes in Computer Science ◽

10.1007/3-540-45541-8_8 ◽

2001 ◽

pp. 230-249 ◽

Cited By ~ 2

Author(s):

Julia Padberg ◽

Hartmut Ehrig ◽

Grzegorz Rozenberg

Keyword(s):

Petri Nets ◽

Free Monoid ◽

Power Set

Download Full-text

Parameterized Net Classes: A Uniform Approach to Petri Net Classes

Unifying Petri Nets - Lecture Notes in Computer Science ◽

10.1007/3-540-45541-8_7 ◽

2001 ◽

pp. 173-229 ◽

Cited By ~ 2

Author(s):

Julia Padberg ◽

Hartmut Ehrig

Keyword(s):

Petri Net ◽

Uniform Approach

Download Full-text

Improving the Usability of Petri Nets with the ≫Petri Net Baukasten≪

Unifying Petri Nets - Lecture Notes in Computer Science ◽

10.1007/3-540-45541-8_3 ◽

2001 ◽

pp. 54-78 ◽

Cited By ~ 3

Author(s):

Herbert Weber ◽

Sabine Lembke ◽

Alexander Borusan

Keyword(s):

Petri Nets ◽

Petri Net

Download Full-text

The ≫Petri Net Baukasten≪: An Overview

Unifying Petri Nets - Lecture Notes in Computer Science ◽

10.1007/3-540-45541-8_2 ◽

2001 ◽

pp. 26-53 ◽

Cited By ~ 2

Author(s):

Meike Gajewsky ◽

Hartmut Ehrig

Keyword(s):

Petri Net

Download Full-text

Petri Nets over Partial Algebra

Unifying Petri Nets - Lecture Notes in Computer Science ◽

10.1007/3-540-45541-8_6 ◽

2001 ◽

pp. 126-172 ◽

Cited By ~ 4

Author(s):

Jörg Desel ◽

Gabriel Juhás ◽

Robert Lorenz

Keyword(s):

Petri Nets ◽

Partial Algebra

Download Full-text

Unifying Petri Nets - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Implementation of Parameterized Net Classes with the Petri Net Kernel of the ≫Petrinetz-Baukasten≪

Transactions and Zero-Safe Nets

Process Landscaping: Modelling Distributed Processes and Proving Properties of Distributed Process Models

Two Algebraic Process Semantics for Contextual Nets

Generalized Automata and Their Net Representations

Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs

Parameterized Net Classes: A Uniform Approach to Petri Net Classes

Improving the Usability of Petri Nets with the ≫Petri Net Baukasten≪

The ≫Petri Net Baukasten≪: An Overview

Petri Nets over Partial Algebra

Unifying Petri Nets - Lecture Notes in Computer Science
Latest Publications