Keywords
ConcurrencyComputer scienceGraphRelation (database)AxiomTheoretical computer scienceBinary relationNet (polyhedron)Programming languageDiscrete mathematicsMathematicsDatabase
Related Publications
An Algorithm for the General Petri Net Reachability Problem
An algorithm is presented for the general Petri net reachability problem. It is based on a generalization of the basic reachability tree construction which is made symmetric wit...
Publication Info
- Year
- 1980
- Type
- book-chapter
- Pages
- 251-260
- Citations
- 26
- Access
- Closed
External Links
Social Impact
Altmetric
PlumX Metrics
Social media, news, blog, policy document mentions
Citation Metrics
26
OpenAlex
Cite This
C. A. Petri
(1980).
Concurrency.
Lecture notes in computer science
, 251-260.
https://doi.org/10.1007/3-540-10001-6_26
Identifiers
- DOI
- 10.1007/3-540-10001-6_26