Synthesis Problem for Petri Nets with Localities

DOI10.1007/978-3-642-29072-5_7zbMath1350.68203OpenAlexW198354393MaRDI QIDQ2889615

Maciej Koutny, Marta Pietkiewicz-Koutny

Publication date: 8 June 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://eprint.ncl.ac.uk/fulltext.aspx?url=182919/735EFC7B-5BFC-4C81-96B8-9C92FE9D22D3.pdf&pub_id=182919

zbMATH Keywords

synthesisanalysislocalityPetri nettransition systemconflicttheory of regionstheory of concurrencynet-typestep-firing policystep-sequence semantics

Mathematics Subject Classification ID

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

Related Items (4)

Tissue Systems and Petri Net Synthesis ⋮ Synthesis of Petri Nets with Whole-Place Operations and Localities ⋮ Signal set tissue systems and overlapping localities ⋮ Catalytic and communicating Petri nets are Turing complete

This page was built for publication: Synthesis Problem for Petri Nets with Localities