Enforcing disjunctive GMECs in Petri nets by transition splitting

Nonlinear Analysis Hybrid Systems 2026

View at publisher

Authors: Ziyue Ma, Alessandro Giua

DOI: 10.1016/j.nahs.2026.101753

Cited by: 1

References: 27

Fields of Study & Subjects

Petri Nets in System Modeling Formal Methods in Verification Model-Driven Software Engineering Techniques

References 27