Tissue Systems and Petri Net Synthesis

DOI10.1007/978-3-662-45730-6_7zbMath1428.68202OpenAlexW140683963MaRDI QIDQ3452477

Marta Pietkiewicz-Koutny, Maciej Koutny, H. C. M. Kleijn

Publication date: 12 November 2015

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

Full work available at URL: https://doi.org/10.1007/978-3-662-45730-6_7

zbMATH Keywords

synthesisPetri nettransition systemregiontissue system

Mathematics Subject Classification ID

Biochemistry, molecular biology (92C40) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Signal set tissue systems and overlapping localities ⋮ Applying regions

Cites Work

• Regions of Petri nets with a/sync connections
• Partial (set) 2-structures. I: Basic notions and the representation problems
• Partial (set) 2-structures. II: State spaces of concurrent systems
• Processes of membrane systems with promoters and inhibitors
• Modeling in systems biology. The Petri net approach. With a foreword of Jens Georg Reich.
• Lectures on Petri nets. 1: Basic models. Advances in Petri nets
• Computing with membranes
• A guide to membrane computing.
• Membrane computing. An introduction.
• The synthesis problem of Petri nets
• Transactions on Petri Nets and Other Models of Concurrency VII
• Synthesis Problem for Petri Nets with Localities
• Petri Nets with Localities and Testing
• PETRI NETS AND STEP TRANSITION SYSTEMS
• Algorithm for finding a general formula for the non-negative solutions of a system of linear inequalities
• Membrane Computing
• Synthesis of Nets with Step Firing Policies
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Tissue Systems and Petri Net Synthesis