Some consequences of the decidability of the reachability problem for Petri nets

Authors:
J. L. Lambert
Affiliations:
-
Venue:
Advances in Petri Nets 1988
Year:
1988

Citing 0
Cited 2

Investigating the Applicability of Petri Nets for Rule-Based System Verification

IEEE Transactions on Knowledge and Data Engineering
Theoretical Aspects of Recursive Petri Nets

Proceedings of the 20th International Conference on Application and Theory of Petri Nets

Quantified Score

Hi-index	0.00

Visualization

Abstract