↓ Skip to main content
What is this page? Embed badge

Transactions on Petri Nets and Other Models of Concurrency XIV

Overview of attention for book
Cover of 'Transactions on Petri Nets and Other Models of Concurrency XIV'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 A Tour in Process Mining: From Practice to Algorithmic Challenges
  3. Altmetric Badge
    Chapter 2 How Petri Net Theory Serves Petri Net Model Checking: A Survey
  4. Altmetric Badge
    Chapter 3 Parametric Verification: An Introduction
  5. Altmetric Badge
    Chapter 4 Integrated Simulation of Domain-Specific Modeling Languages with Petri Net-Based Transformational Semantics
  6. Altmetric Badge
    Chapter 5 Formal Modelling and Incremental Verification of the MQTT IoT Protocol
  7. Altmetric Badge
    Chapter 6 Kleene Theorems for Free Choice Automata over Distributed Alphabets
  8. Altmetric Badge
    Chapter 7 Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems: A Geometric Approach
  9. Altmetric Badge
    Chapter 8 Evaluating Conformance Measures in Process Mining Using Conformance Propositions
  10. Altmetric Badge
    Chapter 9 Relabelling LTS for Petri Net Synthesis via Solving Separation Problems
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
2 Mendeley
Summary X Dimensions citations
So far, Dimensions has found 2 publications that cite this research output.

2

The most recent citing publications are shown below. View all 2 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.