Synthesis of Nets with Step Firing Policies

DOI10.3233/FI-2009-132zbMath1182.68139OpenAlexW2901357300MaRDI QIDQ5902258

A. V. Yakovlev, Marta Pietkiewicz-Koutny, Philippe Darondeau, Maciej Koutny

Publication date: 30 November 2009

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2009-132

zbMATH Keywords

regionssynthesis problemstep transition systemPetri nets, step firing policy

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (10)

Tissue Systems and Petri Net Synthesis ⋮ Step semantics of Boolean nets ⋮ Synthesis of Petri Nets with Whole-Place Operations and Localities ⋮ Signal set tissue systems and overlapping localities ⋮ Reversing Steps in Petri Nets ⋮ The Mutex Paradigm of Concurrency ⋮ Regions of Petri nets with a/sync connections ⋮ Applying regions ⋮ Asynchrony and persistence in reaction systems ⋮ Investigating Reversibility of Steps in Petri Nets

This page was built for publication: Synthesis of Nets with Step Firing Policies