↓ Skip to main content

Lectures on Concurrency and Petri Nets

Overview of attention for book
Cover of 'Lectures on Concurrency and Petri Nets'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management
  3. Altmetric Badge
    Chapter 2 InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming
  4. Altmetric Badge
    Chapter 3 Timed Automata: Semantics, Algorithms and Tools
  5. Altmetric Badge
    Chapter 4 Petri Nets and Dependability
  6. Altmetric Badge
    Chapter 5 Process Algebra
  7. Altmetric Badge
    Chapter 6 A Coloured Petri Net Approach to Protocol Verification
  8. Altmetric Badge
    Chapter 7 Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets
  9. Altmetric Badge
    Chapter 8 A Survey on Non-interference with Petri Nets
  10. Altmetric Badge
    Chapter 9 Synthesis of Asynchronous Hardware from Petri Nets
  11. Altmetric Badge
    Chapter 10 Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned
  12. Altmetric Badge
    Chapter 11 Unbounded Petri Net Synthesis
  13. Altmetric Badge
    Chapter 12 Petri Nets and Software Engineering
  14. Altmetric Badge
    Chapter 13 Model Validation in Controller Design
  15. Altmetric Badge
    Chapter 14 Graph Grammars and Petri Net Transformations
  16. Altmetric Badge
    Chapter 15 Message Sequence Charts
  17. Altmetric Badge
    Chapter 16 Model-Based Development of Executable Business Processes for Web Services
  18. Altmetric Badge
    Chapter 17 Modelling and Control with Modules of Signal Nets
  19. Altmetric Badge
    Chapter 18 Application of Coloured Petri Nets in System Development
  20. Altmetric Badge
    Chapter 19 Bigraphs for Petri Nets
  21. Altmetric Badge
    Chapter 20 Notes on Timed Concurrent Constraint Programming
  22. Altmetric Badge
    Chapter 21 Petri Nets and Manufacturing Systems: An Examples-Driven Tour
  23. Altmetric Badge
    Chapter 22 Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems
  24. Altmetric Badge
    Chapter 23 Object Petri Nets
Attention for Chapter 8: A Survey on Non-interference with Petri Nets
Altmetric Badge

Citations

dimensions_citation
33 Dimensions

Readers on

mendeley
9 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
A Survey on Non-interference with Petri Nets
Chapter number 8
Book title
Lectures on Concurrency and Petri Nets
Published by
Springer, Berlin, Heidelberg, September 2003
DOI 10.1007/978-3-540-27755-2_8
Book ISBNs
978-3-54-022261-3, 978-3-54-027755-2
Authors

Nadia Busi, Roberto Gorrieri

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 9 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
United States 2 22%
Spain 1 11%
Unknown 6 67%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 3 33%
Professor 2 22%
Professor > Associate Professor 2 22%
Unknown 2 22%
Readers by discipline Count As %
Computer Science 5 56%
Decision Sciences 1 11%
Engineering 1 11%
Unknown 2 22%