scientific article; zbMATH DE number 6719540

MaRDI QIDQ2987116zbMATH OpenFDO

Authors Na Gao, Qing Zhang, Xiaoguang Han, Zengqiang Chen

Publication date 17 May 2017

zbMATH Keywords

bounded Petri netsmarking evolution equationreachabilitysemi-tensor product of matricessynchronizing transition

Mathematics Subject Classification ID

Attainable sets, reachability (93B03) Discrete event control/observation systems (93C65)

Recommendations

• Model Checking Bounded Prioritized Time Petri Nets
• Analysis of Petri nets and transition systems
• Hierarchical reachability graph of bounded Petri nets for concurrent-software analysis
• scientific article; zbMATH DE number 4213468
• SMT-based reachability checking for bounded time Petri nets
• Transient analysis of deterministic and stochastic Petri nets with concurrent deterministic transitions
• \(k\)-bounded Petri net synthesis from modal transition systems
• scientific article; zbMATH DE number 4197111

Cited in

(4)

• Synchronizing sequences on a class of unbounded systems using synchronized Petri nets
• STP-based judgment method of reversibility and liveness of bounded Petri nets
• scientific article; zbMATH DE number 4213468 (Why is no real title available?)
• Modeling, reachability and controllability of bounded Petri nets based on semi-tensor product of matrices

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 Q2987116)