Synthesis and Analysis of Petri Nets from Causal Specifications
Author: Mateus De Oliveira Oliveira
Paper Information
| Title: | Synthesis and Analysis of Petri Nets from Causal Specifications |
| Authors: | Mateus De Oliveira Oliveira |
| Proceedings: | CAV 2022 All Papers |
| Editors: | Yakir Vizel, Sharon Shoham and Hari Govind Vediramana Krishnan |
| Keywords: | MSC Languages, Mazurkiewicz Traces, Petri Nets |
| Pages: | 21 |
| Talk: | Aug 10 16:00 (Session 116A: Synthesis and Concurrency) |
| Paper: |  |