A Petri Net Synthesis Method

13 years 3 months ago

Download www.academypublisher.com

—A Petri net synthesis method is proposed, which is the key method to ensure the synthesis net preserving well behaved properties. Conditions of structural liveness preservation of ordinary Petri synthesis net are proposed.

Chuanliang Xia

Real-time Traffic

JNW 2010 | Petri Net Synthesis | Petri Synthesis Net | Synthesis Net |

claim paper

» A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms

» How to synthesize nets from languages a survey

» A RegionBased Algorithm for Discovering Petri Nets from Event Logs

» Synthesis of Asynchronous Hardware from Petri Nets

» Variants of the Language Based Synthesis Problem for Petri Nets

» EZPetri A Petri net interchange framework for Eclipse based on PNML

» Feedback control logic synthesis for non safe Petri nets

» Process Mining Based on Regions of Languages

Post Info
More Details (n/a)

Added	28 Jan 2011
Updated	28 Jan 2011
Type	Journal
Year	2010
Where	JNW
Authors	Chuanliang Xia

Comments (0)

Sciweavers

A Petri Net Synthesis Method

JNW 2010 | Petri Net Synthesis | Petri Synthesis Net | Synthesis Net |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers