scientific article; zbMATH DE number 6845563
From MaRDI portal
Publication:4606103
zbMATH Open1381.93074MaRDI QIDQ4606103FDOQ4606103
Abdul Lugo, Guelvis Mata, Germalis Rojas
Publication date: 28 February 2018
Title of this publication is not available (Why is that?)
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
- Title not available (Why is that?) π π
- Title not available (Why is that?) π π
- Title not available (Why is that?) π π
- Title not available (Why is that?) π π
- On reachability graphs of Petri nets π π
- Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem π π
- Mathematical programming approach to the Petri nets reachability problem π π
- A Reachability Algorithm for General Petri Nets Based on Transition Invariants π π
- On the reachability and reversibility problems in a class of Petri nets π π
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)