Equivalence transformations of PrT-nets

Authors:
H. J. Genrich
Affiliations:
-
Venue:
Advances in Petri nets 1989
Year:
1990

Citing 0
Cited 3

Parametric Fault Tree for the Dependability Analysis of Redundant Systems and Its High-Level Petri Net Semantics

IEEE Transactions on Software Engineering
Rewriting Logic as a Unifying Framework for Petri Nets

Unifying Petri Nets, Advances in Petri Nets
An approach for specification construction using property-preserving refinement patterns

Proceedings of the 2008 ACM symposium on Applied computing

Quantified Score

Hi-index	0.00

Visualization

Abstract