Region based synthesis of P/T-nets and its potential applications

DOI10.1007/3-540-44988-4_2MaRDI QIDQ2766548zbMATH OpenFDO

Authors Philippe Darondeau

Publication date 13 June 2002

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

Full work available at URL https://doi.org/10.1007/3-540-44988-4_2

Mathematics Subject Classification ID

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

Recommendations

• The synthesis problem
• Theory of regions
• Topics in region theory and synthesis problems
• Applying regions
• Petri net synthesis

Cited in

(4)

• Topics in region theory and synthesis problems
• Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios
• Discovering Block-Structured Process Models from Incomplete Event Logs
• Hasse Diagram Generators and Petri Nets

This page was built for publication: Region based synthesis of P/T-nets and its potential applications

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