scientific article; zbMATH DE number 6845563

MaRDI QIDQ4606103zbMATHFDO

Authors Guelvis Mata, Abdul Lugo, Germalis Rojas

Publication date 28 February 2018

zbMATH Keywords

Petri netsdiscrete event systemsGröbner basesreachability of states

Mathematics Subject Classification ID

Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Controllability (93B05) Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem
• A Reachability Algorithm for General Petri Nets Based on Transition Invariants
• A note on the reachability set of Petri nets
• scientific article; zbMATH DE number 4092785
• scientific article; zbMATH DE number 762060
• On reachability graphs of Petri nets
• On the reachability and reversibility problems in a class of Petri nets
• Mathematical programming approach to the Petri nets reachability problem
• scientific article; zbMATH DE number 1528665

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