scientific article; zbMATH DE number 6845563
From MaRDI portal
Publication:4606103
zbMATH Open1381.93074MaRDI QIDQ4606103FDOQ4606103
Authors: Guelvis Mata, Abdul Lugo, Germalis Rojas 
Publication date: 28 February 2018
Title of this publication is not available (Why is that?)
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
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)
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)
