PETRIREVE: proving Petri net properties with rewriting systems

Authors:
C. Choppy;C. Johnen
Affiliations:
Univ. de Paris-Sud, Orsay-Cedex, France;Univ. de Paris-Sud, Orsay-Cedex, France
Venue:
Proc. of the first international conference on Rewriting techniques and applications
Year:
1985

Citing 0
Cited 2

Non-deterministic modelling of logical queries in deductive databases

SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Inductive methods for reasoning about abstract data types

POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Quantified Score

Hi-index	0.00

Visualization

Abstract