scientific article; zbMATH DE number 1302048

MaRDI QIDQ4247291zbMATH OpenFDO

Authors Eric Badouel, Philippe Darondeau

Publication date 1998

zbMATH Keywords

net synthesisPetri netssynthesis problem

Mathematics Subject Classification ID

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

Recommendations

• The problem of regions
• Region-based topology
• Topics in region theory and synthesis problems
• Foundation and generalization of the expansion by regions
• scientific article; zbMATH DE number 3197583

Cited in

(59)

• Signal set tissue systems and overlapping localities
• Bounded choice-free Petri net synthesis: algorithmic issues
• An algebraic model of observable properties in distributed systems
• The synthesis of Petri nets from path-automatic specifications
• Synthesising elementary net systems with localities
• Topics in region theory and synthesis problems
• Deadlock analysis and control using Petri net decomposition techniques
• Synthesis and reengineering of persistent systems
• Editorial: Deadlock analysis and control in resource allocation systems
• A survey of siphons in Petri nets
• Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs
• A geometric characterisation of event/state separation
• Enhancing discovered processes with duplicate tasks
• Presynthesis of bounded choice-free or fork-attribution nets
• State space axioms for T-systems
• Fault model identification and synthesis in Petri nets
• Step semantics of Boolean nets
• Real time identification of discrete event systems using Petri nets
• Identification of Petri nets from knowledge of their language
• scientific article; zbMATH DE number 1696446 (Why is no real title available?)
• The power of prime cycles
• Petri Net Synthesis for Restricted Classes of Nets
• Champagne subregions of the unit disc
• A graph-theoretical characterisation of state separation
• Synthesis of Petri nets with whole-place operations and localities
• The Expressivity of Quantifying over Regions
• Tissue Systems and Petri Net Synthesis
• On the Synthesis of Zero-Safe Nets
• A Symbolic Algorithm for the Synthesis of Bounded Petri Nets
• Process Discovery Using Integer Linear Programming
• Discovery, Verification and Conformance of Workflows with Cancellation
• Partial Order Semantics of Types of Nets
• Does My Service Have Partners?
• Deciding Substitutability of Services with Operating Guidelines
• Construction of Process Models from Example Runs
• Computationally improved optimal control methodology for linear programming problems of flexible manufacturing systems
• scientific article; zbMATH DE number 1790545 (Why is no real title available?)
• Flip-flop nets
• scientific article; zbMATH DE number 892124 (Why is no real title available?)
• The label splitting problem
• Distributed Control of Discrete-Event Systems: A First Step
• Aggregating causal runs into workflow nets
• The synthesis problem
• Discovering object-centric Petri nets
• Investigating reversibility of steps in Petri nets
• Dualities between nets and automata induced by schizophrenic objects
• \(k\)-bounded Petri net synthesis from modal transition systems
• Characterisation of the state spaces of marked graph Petri nets
• Discovering Block-Structured Process Models from Incomplete Event Logs
• Synthesis of Persistent Systems
• Synthesis of Nets with Step Firing Policies
• Hasse Diagram Generators and Petri Nets
• Reversing Steps in Petri Nets
• Identification of labeled Petri nets from finite automata
• Liveness and deadlock-freeness verification and enforcement in bounded Petri nets using basis reachability graphs
• Strategies for minimising the synthesised ENL-systems
• Regions of Petri nets with a/sync connections
• Applying regions
• Petri net synthesis

This page was built for publication:

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