Publication:5216152
From MaRDI portal
zbMath1433.68239arXiv1508.04851MaRDI QIDQ5216152
Publication date: 14 February 2020
Full work available at URL: https://arxiv.org/abs/1508.04851
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Target-oriented Petri Net Synthesis, Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis, Symbolic and Structural Model-Checking, Some Basic Techniques Allowing Petri Net Synthesis: Complexity and Algorithmic Issues, A New Property of Choice-Free Petri Net Systems, Structural Reductions Revisited, Articulation of Transition Systems and Its Application to Petri Net Synthesis, Lifted structural invariant analysis of Petri net product lines, Synthesis of inhibitor-reset Petri nets: algorithmic and complexity issues
Uses Software