State space axioms for T-systems

DOI10.1007/S00236-015-0219-0zbMATH Open1317.68129OpenAlexW2018016296MaRDI QIDQ2340253FDOQ2340253

Authors: Eike Best, Raymond Devillers 

Publication date: 16 April 2015

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00236-015-0219-0

Recommendations

• Characterisation of the state spaces of marked graph Petri nets
• Sufficient conditions for the marked graph realisability of labelled transition systems
• Synthesis and reengineering of persistent systems
• Analysis of Petri nets and transition systems
• Characterisation of the state spaces of live and bounded marked graph Petri nets

zbMATH Keywords

synthesisPetri netsT-systemsmarked graphslabelled transition systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Marked directed graphs
• Title not available (Why is that?)
• Complexity of some problems in Petri nets
• Synchronisationsgraphen
• Title not available (Why is that?)
• Synthesis of Persistent Systems
• Characterisation of the state spaces of live and bounded marked graph Petri nets
• A decidability theorem for a class of vector-addition systems
• Applications and Theory of Petri Nets 2005
• Lectures on Concurrency and Petri Nets

Cited In (7)

• Parameterized complexity of synthesizing \(b\)-bounded \((m,n)\)-T-systems
• Target-oriented Petri net synthesis
• A new property of choice-free Petri net systems
• Presynthesis of bounded choice-free or fork-attribution nets
• Petri Net Synthesis for Restricted Classes of Nets
• Bounded choice-free Petri net synthesis: algorithmic issues
• Characterisation of the state spaces of marked graph Petri nets

This page was built for publication: State space axioms for T-systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2340253)