The recursive equivalence of the reachability problem and the liveness problem for Petri nets and vector addition systems

Authors:
Michel Hack
Affiliations:
-
Venue:
SWAT '74 Proceedings of the 15th Annual Symposium on Switching and Automata Theory (swat 1974)
Year:
1974

Citing 0
Cited 3

Real-time transaction processing for autonomic Grid applications

Engineering Applications of Artificial Intelligence
Linear time analysis of properties of conflict-free and general Petri nets

Theoretical Computer Science
Petri-Net-Based coordination algorithms for grid transactions

ISPA'04 Proceedings of the Second international conference on Parallel and Distributed Processing and Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract