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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642404641, 9783642404658

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Comparing Metabolic Pathways through Reactions and Potential Fluxes

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

10.1007/978-3-642-40465-8_1 ◽

2013 ◽

pp. 1-23 ◽

Cited By ~ 1

Author(s):

Paolo Baldan ◽

Nicoletta Cocco ◽

Federica Giummolè ◽

Marta Simeoni

Keyword(s):

Metabolic Pathways

Download Full-text

Hybrid Petri Nets for Modelling the Eukaryotic Cell Cycle

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

10.1007/978-3-642-40465-8_7 ◽

2013 ◽

pp. 123-141 ◽

Cited By ~ 7

Author(s):

Mostafa Herajy ◽

Martin Schwarick ◽

Monika Heiner

Keyword(s):

Cell Cycle ◽

Petri Nets ◽

Eukaryotic Cell ◽

Hybrid Petri Nets

Download Full-text

Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets

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

10.1007/978-3-642-40465-8_5 ◽

2013 ◽

pp. 89-105 ◽

Cited By ~ 1

Author(s):

Agata Janowska ◽

Wojciech Penczek ◽

Agata Półrola ◽

Andrzej Zbrzezny

Keyword(s):

Petri Nets ◽

Time Petri Nets ◽

Branching Time

Download Full-text

Simulative Model Checking of Steady State and Time-Unbounded Temporal Operators

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

10.1007/978-3-642-40465-8_8 ◽

2013 ◽

pp. 142-158 ◽

Cited By ~ 2

Author(s):

Christian Rohr

Keyword(s):

Steady State ◽

Model Checking ◽

Simulative Model Checking ◽

Simulative Model

Download Full-text

Modeling and Analyzing Wireless Sensor Networks with VeriSensor: An Integrated Workflow

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

10.1007/978-3-642-40465-8_2 ◽

2013 ◽

pp. 24-47 ◽

Cited By ~ 11

Author(s):

Yann Ben Maissa ◽

Fabrice Kordon ◽

Salma Mouline ◽

Yann Thierry-Mieg

Keyword(s):

Wireless Sensor Networks ◽

Sensor Networks ◽

Wireless Sensor

Download Full-text

From Code to Coloured Petri Nets: Modelling Guidelines

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

10.1007/978-3-642-40465-8_4 ◽

2013 ◽

pp. 71-88

Author(s):

Anna Dedova ◽

Laure Petrucci

Keyword(s):

Petri Nets ◽

Coloured Petri Nets

Download Full-text

Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching

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

10.1007/978-3-642-40465-8_10 ◽

2013 ◽

pp. 180-202 ◽

Cited By ~ 1

Author(s):

Michael Westergaard ◽

Dirk Fahland ◽

Christian Stahl

Keyword(s):

Temporal Logic ◽

Petri Net ◽

Colored Petri Net

Download Full-text

Model-Driven Middleware Support for Team-Oriented Process Management

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

10.1007/978-3-642-40465-8_9 ◽

2013 ◽

pp. 159-179

Author(s):

Matthias Wester-Ebbinghaus ◽

Michael Köhler-Bußmeier

Keyword(s):

Process Management ◽

Model Driven

Download Full-text

When Can We Trust a Third Party?

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

10.1007/978-3-642-40465-8_6 ◽

2013 ◽

pp. 106-122

Author(s):

Kees M. van Hee ◽

Natalia Sidorova ◽

Jan Martijn E. M. van der Werf

Keyword(s):

Third Party

Download Full-text

Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms

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

10.1007/978-3-642-40465-8_3 ◽

2013 ◽

pp. 48-70 ◽

Cited By ~ 3

Author(s):

Luca Bernardinello ◽

Elisabetta Mangioni ◽

Lucia Pomello

Keyword(s):

Local State

Download Full-text

Transactions on Petri Nets and Other Models of Concurrency VIII - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Comparing Metabolic Pathways through Reactions and Potential Fluxes

Hybrid Petri Nets for Modelling the Eukaryotic Cell Cycle

Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets

Simulative Model Checking of Steady State and Time-Unbounded Temporal Operators

Modeling and Analyzing Wireless Sensor Networks with VeriSensor: An Integrated Workflow

From Code to Coloured Petri Nets: Modelling Guidelines

Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching

Model-Driven Middleware Support for Team-Oriented Process Management

When Can We Trust a Third Party?

Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms

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